Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 49, 50, 51, 52, 53, 54, 55, 56, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 104, 105, 106, 109, 116, 117, 118, 121, 124, 125, 126, 127, 128, 129, 130, 133, 137, 138, 139, 140, 141, 142, 149, 150, 151, 154, 155, 156, 161, 162, 163, 166, 167, 168, 169, 172, 174, 175, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 198, 199, 200, 201, 202, 203, 206, 207, 209, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 289, 292, 293, 294, 295, 296, 297, 298, 306, 307, 308, 309, 310, 311, 320, 321, 322, 323, 324, 325, 329, 334, 341, 353, 359, 360, 361, 362, 363, 364, 365, 366, 377, 381, 382, 383, 384, 385, 389, 390, 391, 393, 394, 395, 396, 397, 398, 400, 401, 403, 404, 406, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 476, 477, 478, 479, 480, 482, 483, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 499 }

B grade: { 33, 34, 35, 47, 48, 57, 58, 59, 60, 95, 96, 97, 107, 108, 119, 120, 131, 132, 143, 144, 145, 153, 157, 158, 160, 173, 176, 204, 205, 249, 287, 288, 290, 291, 368, 369, 370, 371, 372, 422, 450, 475, 497 }

C grade: { 8, 10, 11, 12, 16, 17, 18, 98, 99, 100, 101, 102, 103, 110, 111, 112, 113, 114, 115, 122, 123, 134, 135, 136, 146, 147, 148, 152, 159, 164, 165, 170, 171, 195, 196, 197, 208, 210, 270, 299, 300, 301, 302, 303, 304, 305, 312, 313, 314, 315, 316, 317, 318, 319, 326, 327, 328, 330, 331, 332, 333, 335, 336, 337, 338, 339, 340, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 354, 355, 356, 357, 358, 374, 375, 376, 378, 379, 380, 386, 387, 388, 392, 399, 402, 405, 407, 437, 438, 449, 481, 484, 485, 496, 498 }

F grade: { 367, 373}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 47, 48, 49, 51, 52, 53, 54, 55, 56, 57, 58, 63, 64, 65, 66, 70, 71, 72, 75, 76, 77, 78, 79, 82, 89, 90, 91, 116, 117, 124, 125, 126, 127, 130, 136, 137, 138, 139, 140, 141, 142, 148, 149, 150, 151, 174, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 207, 208, 209, 210, 211, 212, 213, 214, 215, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 230, 231, 232, 233, 234, 235, 236, 248, 249, 252, 253, 254, 255, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 320, 321, 322, 326, 327, 328, 329, 333, 334, 335, 339, 340, 341, 342, 346, 347, 348, 355, 374, 375, 376, 377, 378, 380, 382, 383, 384, 385, 386, 390, 396, 397, 420, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 438, 440, 441, 442, 443, 444, 445, 446, 448, 449, 452, 453, 454, 455, 457, 458, 459, 460, 464, 465, 466, 467, 469, 470, 471, 472, 486, 487, 488, 489, 490, 494, 495, 499 }

B grade: { 44, 45, 46, 50, 59, 60, 61, 62, 67, 68, 69, 73, 74, 80, 81, 83, 84, 85, 86, 87, 88, 92, 93, 94, 95, 96, 97, 100, 104, 105, 106, 107, 108, 109, 112, 118, 119, 120, 121, 128, 129, 131, 132, 133, 143, 144, 145, 146, 147, 198, 204, 205, 206, 216, 229, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 250, 251, 256, 279, 296, 297, 298, 299, 300, 301, 302, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 319, 323, 324, 325, 336, 337, 338, 349, 350, 351, 352, 353, 354, 379, 381, 389, 393, 394, 400, 401, 403, 404, 437, 439, 447, 450, 451, 456, 461, 462, 463, 468, 473 }

C grade: { 29, 98, 99, 101, 102, 103, 110, 111, 113, 114, 115, 122, 123, 134, 135, 169, 303, 304, 305, 316, 317, 318, 330, 331, 332, 343, 344, 345, 387, 388, 392, 399, 479 }

F grade: { 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 170, 171, 172, 173, 175, 176, 177, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 391, 395, 398, 402, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 421, 422, 423, 474, 475, 476, 477, 478, 480, 481, 482, 483, 484, 485, 491, 492, 493, 496, 497, 498 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 116, 117, 118, 129, 130, 141, 142, 167, 168, 169, 174, 178, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 224, 225, 226, 227, 228, 229, 237, 240, 241, 250, 251, 252, 253, 262, 264, 273, 274, 276, 278, 279, 281, 283, 284, 285, 286, 287, 288, 289, 291, 374, 375, 376, 377, 380, 381, 382, 383, 384, 420, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 477, 478, 479, 486, 487, 488, 489, 490, 494, 495, 499

B grade: { 128, 140, 179, 180, 238, 239, 242, 257, 258, 259, 261, 263, 265, 266, 267, 269, 270, 271, 272, 277, 282 }

C grade: { 290 }

F grade: { 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 135, 136, 137, 138, 139, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 170, 171, 172, 173, 175, 176, 177, 217, 218, 219, 220, 221, 222, 223, 230, 231, 232, 233, 234, 235, 236, 243, 244, 245, 246, 247, 248, 249, 254, 255, 256, 260, 268, 275, 280, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 378, 379, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 421, 422, 423, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 480, 481, 482, 483, 484, 485, 491, 492, 493, 496, 497, 498 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 13, 14, 15, 16, 17, 18, 29, 30, 31, 32, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 68, 69, 70, 74, 75, 76, 92, 93, 94, 95, 96, 97, 100, 104, 105, 106, 107, 108, 109, 112, 114, 115, 116, 117, 118, 119, 120, 121, 124, 125, 126, 127, 128, 129, 130, 132, 136, 137, 138, 140, 141, 142, 149, 167, 168, 169, 174, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 230, 231, 233, 234, 235, 236, 249, 250, 251, 252, 253, 254, 255, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 275, 277, 278, 282, 283, 284, 285, 286, 289, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 338, 339, 341, 342, 343, 344, 345, 353, 357, 358, 374, 375, 376, 377, 380, 381, 382, 383, 384, 389, 390, 391, 393, 394, 395, 396, 397, 398, 420, 424, 425, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 460, 461, 462, 463, 464, 465, 472, 473, 477, 478, 479, 486, 487, 488, 489, 490, 494, 495, 499 }

B grade: { 33, 34, 35, 47, 48, 60, 65, 66, 67, 71, 72, 73, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 98, 99, 101, 102, 103, 111, 113, 122, 123, 131, 133, 135, 143, 144, 145, 148, 224, 228, 229, 232, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 256, 274, 276, 279, 280, 281, 287, 288, 333, 334, 335, 336, 337, 340, 346, 347, 348, 349, 350, 351, 352, 354, 355, 356, 385, 386, 400, 401, 402, 403, 404, 405, 426, 458, 459, 466, 467, 468, 469, 470, 471 }

C grade: { 290, 291, 292, 378, 379 }

F grade: { 7, 8, 9, 10, 11, 12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 110, 134, 139, 146, 147, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 170, 171, 172, 173, 175, 176, 177, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 387, 388, 392, 399, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 421, 422, 423, 474, 475, 476, 480, 481, 482, 483, 484, 485, 491, 492, 493, 496, 497, 498 }

2.1.6 Sympy

A grade: { 39, 51, 64, 76, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 204, 205, 206, 207, 208, 211, 212, 213, 214, 215, 217, 218, 219, 220, 221, 222, 224, 225, 226, 230, 231, 232, 233, 237, 238, 239, 250, 251, 252, 253, 254, 255, 260, 268, 275, 278, 280, 289, 335, 348, 374, 375, 376, 377, 380, 381, 382, 383, 384, 385, 433, 488, 494 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 203, 209, 210, 216, 223, 227, 228, 229, 234, 235, 236, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 276, 277, 279, 281, 282, 283, 284, 285, 286, 287, 288, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 378, 379, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 489, 490, 491, 492, 493, 495, 496, 497, 498, 499 }

2.1.7 Giac

A grade: { 1, 2, 3, 7, 8, 9, 10, 16, 17, 18, 31, 32, 40, 41, 42, 44, 45, 52, 53, 54, 57, 61, 62, 63, 65, 66, 67, 70, 74, 76, 77, 78, 79, 82, 87, 88, 89, 90, 91, 174, 178, 182, 183, 184, 188, 201, 208, 213, 214, 227, 230, 231, 232, 233, 234, 235, 236, 240, 243, 244, 245, 246, 247, 248, 249, 255, 256, 257, 258, 259, 260, 261, 263, 266, 267, 268, 269, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 284, 285, 286, 287, 289, 293, 294, 295, 306, 307, 308, 320, 321, 322, 333, 334, 335, 346, 347, 348, 378, 379, 380, 385, 386, 389, 390, 396, 397, 400, 401, 420, 424, 425, 426, 427, 428, 431, 432, 433, 437, 438, 439, 440, 444, 445, 446, 450, 451, 452, 453, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 468, 469, 470, 471, 473, 486, 487, 488, 489, 490, 494, 495, 499 }

B grade: { 4, 5, 6, 13, 14, 15, 33, 34, 35, 36, 37, 38, 39, 46, 47, 48, 50, 51, 55, 56, 58, 59, 60, 64, 68, 69, 71, 72, 73, 75, 80, 81, 83, 84, 85, 86, 93, 94, 118, 179, 180, 181, 185, 186, 187, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 202, 203, 204, 205, 206, 207, 209, 210, 211, 212, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 228, 229, 237, 238, 239, 241, 242, 250, 251, 252, 253, 254, 262, 264, 265, 270, 271, 288, 374, 375, 376, 377, 381, 382, 383, 384, 403, 404, 429, 434, 435, 436, 447, 448, 449, 454, 455, 467, 472 }

C grade: { 290, 291, 292 }

F grade: { 11, 12, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 43, 49, 92, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 175, 176, 177, 272, 283, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 387, 388, 391, 392, 393, 394, 395, 398, 399, 402, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 421, 422, 423, 430, 441, 442, 443, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 491, 492, 493, 496, 497, 498 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 56 58 63 180 0 80
normalized size 1 1. 0.57 0.59 0.64 1.84 0. 0.82
time (sec) N/A 0.039 0.373 0.146 1.626 1.939 0. 1.42


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 47 48 46 135 0 59
normalized size 1 1. 0.77 0.79 0.75 2.21 0. 0.97
time (sec) N/A 0.029 0.104 0.02 1.632 1.953 0. 1.354


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 37 26 100 0 38
normalized size 1 1. 1. 1.16 0.81 3.12 0. 1.19
time (sec) N/A 0.017 0.039 0.024 1.635 1.959 0. 1.259


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 39 47 45 119 0 113
normalized size 1 1. 1.26 1.52 1.45 3.84 0. 3.65
time (sec) N/A 0.023 0.082 0.043 1.637 1.851 0. 1.326


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 56 64 62 177 0 300
normalized size 1 1. 0.85 0.97 0.94 2.68 0. 4.55
time (sec) N/A 0.037 0.392 0.02 1.647 1.895 0. 1.628


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 68 74 89 207 0 392
normalized size 1 1. 0.7 0.76 0.92 2.13 0. 4.04
time (sec) N/A 0.039 0.246 0.023 1.69 2.052 0. 1.999


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 199 266 240 0 0 412
normalized size 1 1. 0.55 0.73 0.66 0. 0. 1.13
time (sec) N/A 0.146 0.829 0.044 1.671 0. 0. 1.733


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 286 286 54 236 189 0 0 356
normalized size 1 1. 0.19 0.83 0.66 0. 0. 1.24
time (sec) N/A 0.127 0.078 0.019 1.722 0. 0. 1.427


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 161 208 180 0 0 274
normalized size 1 1. 0.63 0.82 0.71 0. 0. 1.07
time (sec) N/A 0.115 0.25 0.021 1.702 0. 0. 1.345


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 43 211 170 0 0 355
normalized size 1 1. 0.17 0.83 0.67 0. 0. 1.39
time (sec) N/A 0.115 0.034 0.026 1.611 0. 0. 1.322


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 45 236 220 0 0 0
normalized size 1 1. 0.15 0.79 0.74 0. 0. 0.
time (sec) N/A 0.128 0.074 0.023 1.687 0. 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 45 272 232 0 0 0
normalized size 1 1. 0.12 0.75 0.64 0. 0. 0.
time (sec) N/A 0.148 0.058 0.023 1.663 0. 0. 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 86 84 107 247 0 1381
normalized size 1 1. 0.47 0.46 0.59 1.36 0. 7.59
time (sec) N/A 0.064 0.719 0.037 1.668 2.539 0. 14.408


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 66 64 72 163 0 1457
normalized size 1 1. 0.6 0.58 0.65 1.48 0. 13.25
time (sec) N/A 0.042 0.735 0.016 1.574 2.453 0. 4.772


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 41 42 35 88 0 338
normalized size 1 1. 0.82 0.84 0.7 1.76 0. 6.76
time (sec) N/A 0.021 0.091 0.021 1.638 2.075 0. 1.406


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 43 40 36 93 0 65
normalized size 1 1. 0.84 0.78 0.71 1.82 0. 1.27
time (sec) N/A 0.021 0.05 0.026 1.537 2.018 0. 1.531


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 45 63 68 162 0 177
normalized size 1 1. 0.38 0.53 0.57 1.36 0. 1.49
time (sec) N/A 0.045 0.049 0.02 1.637 1.932 0. 1.877


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 45 83 95 225 0 265
normalized size 1 1. 0.25 0.45 0.52 1.23 0. 1.45
time (sec) N/A 0.065 0.033 0.021 1.653 1.923 0. 2.791


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.108 0.615 0. 0. 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 60 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.068 0.118 0. 0. 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.038 0.119 0. 0. 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 60 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.05 0.122 0. 0. 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 60 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.067 0.116 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.068 0.115 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 57 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.041 10.709 0. 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 49 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.049 0.26 0. 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 55 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.041 0.479 0. 0. 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 53 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.031 0.248 0. 0. 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 18076 0 59 0 0
normalized size 1 1. 1. 564.88 0. 1.84 0. 0.
time (sec) N/A 0.019 0.024 3.234 0. 1.921 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 104 92 84 161 0 0
normalized size 1 1. 1.49 1.31 1.2 2.3 0. 0.
time (sec) N/A 0.062 0.063 0.105 1.052 1.99 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 72 72 59 111 0 103
normalized size 1 1. 1.5 1.5 1.23 2.31 0. 2.15
time (sec) N/A 0.047 0.049 0.063 1.065 1.933 0. 1.487


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 46 52 42 65 0 55
normalized size 1 1. 1.64 1.86 1.5 2.32 0. 1.96
time (sec) N/A 0.026 0.044 0.033 0.95 1.794 0. 1.421


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 51 36 54 162 0 80
normalized size 1 1. 2.04 1.44 2.16 6.48 0. 3.2
time (sec) N/A 0.028 0.029 0.039 0.989 1.966 0. 1.387


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 123 76 103 325 0 246
normalized size 1 1. 2.41 1.49 2.02 6.37 0. 4.82
time (sec) N/A 0.053 0.045 0.08 1.039 1.967 0. 1.452


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 276 120 136 481 0 346
normalized size 1 1. 3.49 1.52 1.72 6.09 0. 4.38
time (sec) N/A 0.07 6.056 0.074 1.056 2.087 0. 1.568


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 89 122 150 230 0 10661
normalized size 1 1. 0.87 1.2 1.47 2.25 0. 104.52
time (sec) N/A 0.118 0.342 0.091 1.443 1.997 0. 6.028


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 58 102 111 176 0 5873
normalized size 1 1. 0.78 1.38 1.5 2.38 0. 79.36
time (sec) N/A 0.073 0.344 0.062 1.58 1.959 0. 4.283


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 43 81 69 131 0 533
normalized size 1 1. 0.93 1.76 1.5 2.85 0. 11.59
time (sec) N/A 0.048 0.217 0.033 1.545 1.862 0. 1.556


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 28 29 31 46 20 340
normalized size 1 1. 1.47 1.53 1.63 2.42 1.05 17.89
time (sec) N/A 0.013 0.013 0.003 1.564 1.888 0.22 1.44


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 23 32 82 0 35
normalized size 1 1. 1. 0.96 1.33 3.42 0. 1.46
time (sec) N/A 0.032 0.021 0.078 1.062 1.929 0. 1.562


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 60 54 54 163 0 72
normalized size 1 1. 1.43 1.29 1.29 3.88 0. 1.71
time (sec) N/A 0.043 0.069 0.077 1.059 1.799 0. 1.511


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 106 83 80 236 0 107
normalized size 1 1. 1.66 1.3 1.25 3.69 0. 1.67
time (sec) N/A 0.053 0.049 0.072 1.117 1.876 0. 1.472


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 97 185 140 258 0 0
normalized size 1 1. 0.91 1.73 1.31 2.41 0. 0.
time (sec) N/A 0.107 0.719 0.084 0.984 2.059 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 72 155 108 193 0 194
normalized size 1 1. 0.9 1.94 1.35 2.41 0. 2.42
time (sec) N/A 0.083 0.52 0.049 1.073 1.936 0. 1.747


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 48 125 96 136 0 127
normalized size 1 1. 0.89 2.31 1.78 2.52 0. 2.35
time (sec) N/A 0.046 0.289 0.049 0.98 1.964 0. 1.762


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 66 124 92 228 0 197
normalized size 1 1. 1.27 2.38 1.77 4.38 0. 3.79
time (sec) N/A 0.055 0.167 0.05 1.054 2.036 0. 1.708


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 376 100 150 414 0 339
normalized size 1 1. 4.59 1.22 1.83 5.05 0. 4.13
time (sec) N/A 0.109 6.13 0.061 1.142 2.028 0. 1.644


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 123 123 447 183 220 699 0 564
normalized size 1 1. 3.63 1.49 1.79 5.68 0. 4.59
time (sec) N/A 0.13 6.188 0.058 1.011 2.152 0. 1.683


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 96 199 176 293 0 0
normalized size 1 1. 0.79 1.63 1.44 2.4 0. 0.
time (sec) N/A 0.131 1.476 0.047 1.494 2.069 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 71 168 117 224 0 1905
normalized size 1 1. 0.84 1.98 1.38 2.64 0. 22.41
time (sec) N/A 0.107 0.686 0.045 1.589 1.956 0. 2.299


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 73 87 78 117 68 516
normalized size 1 1. 1.59 1.89 1.7 2.54 1.48 11.22
time (sec) N/A 0.033 0.718 0.003 1.466 1.919 0.431 1.466


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 44 48 55 157 0 59
normalized size 1 1. 0.96 1.04 1.2 3.41 0. 1.28
time (sec) N/A 0.054 0.468 0.046 1.023 1.874 0. 1.642


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 59 81 89 224 0 113
normalized size 1 1. 0.84 1.16 1.27 3.2 0. 1.61
time (sec) N/A 0.072 0.442 0.082 0.979 1.955 0. 1.654


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 88 136 119 339 0 173
normalized size 1 1. 0.95 1.46 1.28 3.65 0. 1.86
time (sec) N/A 0.09 0.774 0.059 0.966 2.038 0. 1.677


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 177 205 0 675 0 509
normalized size 1 1. 1.51 1.75 0. 5.77 0. 4.35
time (sec) N/A 0.184 3.049 0.062 0. 2.387 0. 1.423


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 149 107 0 473 0 243
normalized size 1 1. 1.77 1.27 0. 5.63 0. 2.89
time (sec) N/A 0.123 0.653 0.055 0. 2.47 0. 1.416


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 121 63 0 350 0 109
normalized size 1 1. 2.02 1.05 0. 5.83 0. 1.82
time (sec) N/A 0.055 0.26 0.046 0. 1.782 0. 1.408


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 144 75 0 460 0 149
normalized size 1 1. 2.4 1.25 0. 7.67 0. 2.48
time (sec) N/A 0.07 0.205 0.063 0. 2.091 0. 1.387


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 195 189 0 815 0 285
normalized size 1 1. 2.19 2.12 0. 9.16 0. 3.2
time (sec) N/A 0.103 0.669 0.078 0. 2.281 0. 1.435


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 326 344 0 1523 0 505
normalized size 1 1. 2.51 2.65 0. 11.72 0. 3.88
time (sec) N/A 0.176 6.25 0.081 0. 2.521 0. 1.477


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 140 545 0 1214 0 394
normalized size 1 1. 0.79 3.06 0. 6.82 0. 2.21
time (sec) N/A 0.293 0.562 0.075 0. 2.278 0. 1.393


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 99 304 0 898 0 257
normalized size 1 1. 0.77 2.36 0. 6.96 0. 1.99
time (sec) N/A 0.152 0.262 0.063 0. 2.077 0. 1.444


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 69 137 0 674 0 153
normalized size 1 1. 0.84 1.67 0. 8.22 0. 1.87
time (sec) N/A 0.097 0.14 0.062 0. 1.882 0. 1.401


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 49 52 0 406 280 231
normalized size 1 1. 0.98 1.04 0. 8.12 5.6 4.62
time (sec) N/A 0.075 0.066 0.019 0. 1.689 3.631 1.395


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 46 0 606 0 84
normalized size 1 1. 1. 0.96 0. 12.62 0. 1.75
time (sec) N/A 0.062 0.118 0.063 0. 1.821 0. 1.409


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 73 107 0 884 0 131
normalized size 1 1. 0.96 1.41 0. 11.63 0. 1.72
time (sec) N/A 0.09 0.292 0.075 0. 1.82 0. 1.443


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 103 191 0 1319 0 204
normalized size 1 1. 0.98 1.82 0. 12.56 0. 1.94
time (sec) N/A 0.115 0.799 0.083 0. 1.966 0. 1.469


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 215 388 0 1330 0 757
normalized size 1 1. 1.05 1.9 0. 6.52 0. 3.71
time (sec) N/A 0.309 3.717 0.082 0. 2.59 0. 1.431


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 182 269 0 1015 0 497
normalized size 1 1. 1.37 2.02 0. 7.63 0. 3.74
time (sec) N/A 0.18 2.986 0.078 0. 2.208 0. 1.389


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 146 114 0 699 0 207
normalized size 1 1. 1.45 1.13 0. 6.92 0. 2.05
time (sec) N/A 0.073 0.764 0.067 0. 1.945 0. 1.373


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 184 179 0 1102 0 360
normalized size 1 1. 1.67 1.63 0. 10.02 0. 3.27
time (sec) N/A 0.128 0.818 0.084 0. 2.684 0. 1.404


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 218 229 0 1565 0 559
normalized size 1 1. 1.48 1.56 0. 10.65 0. 3.8
time (sec) N/A 0.181 6.182 0.101 0. 2.526 0. 1.424


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 392 428 0 2477 0 740
normalized size 1 1. 1.87 2.04 0. 11.8 0. 3.52
time (sec) N/A 0.275 6.335 0.109 0. 2.775 0. 1.439


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 136 411 0 1600 0 359
normalized size 1 1. 0.69 2.1 0. 8.16 0. 1.83
time (sec) N/A 0.25 1.515 0.092 0. 2.479 0. 1.392


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 111 240 0 1300 0 892
normalized size 1 1. 0.8 1.74 0. 9.42 0. 6.46
time (sec) N/A 0.156 1.588 0.077 0. 2.277 0. 1.568


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 88 160 0 865 2086 171
normalized size 1 1. 0.91 1.65 0. 8.92 21.51 1.76
time (sec) N/A 0.083 1.025 0.023 0. 1.854 40.459 1.354


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 83 75 0 888 0 126
normalized size 1 1. 1.01 0.91 0. 10.83 0. 1.54
time (sec) N/A 0.074 0.57 0.08 0. 1.974 0. 1.414


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 112 169 0 1374 0 192
normalized size 1 1. 0.97 1.46 0. 11.84 0. 1.66
time (sec) N/A 0.146 0.763 0.095 0. 2.21 0. 1.38


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 151 281 0 2028 0 286
normalized size 1 1. 0.83 1.54 0. 11.14 0. 1.57
time (sec) N/A 0.223 1.617 0.102 0. 2.235 0. 1.392


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 264 264 278 844 0 2313 0 1195
normalized size 1 1. 1.05 3.2 0. 8.76 0. 4.53
time (sec) N/A 0.411 5.48 0.089 0. 3.158 0. 1.675


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 230 504 0 1723 0 760
normalized size 1 1. 1.28 2.8 0. 9.57 0. 4.22
time (sec) N/A 0.246 5.439 0.082 0. 2.962 0. 1.604


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 170 221 0 1249 0 301
normalized size 1 1. 1.23 1.6 0. 9.05 0. 2.18
time (sec) N/A 0.091 1.61 0.073 0. 2.724 0. 1.635


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 247 408 0 2356 0 717
normalized size 1 1. 1.49 2.46 0. 14.19 0. 4.32
time (sec) N/A 0.217 3.002 0.09 0. 4.473 0. 1.646


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 205 205 286 435 0 3227 0 836
normalized size 1 1. 1.4 2.12 0. 15.74 0. 4.08
time (sec) N/A 0.293 6.533 0.109 0. 3.791 0. 1.644


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 259 259 468 560 0 3969 0 1241
normalized size 1 1. 1.81 2.16 0. 15.32 0. 4.79
time (sec) N/A 0.376 6.561 0.112 0. 3.854 0. 1.665


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 194 598 0 2664 0 1793
normalized size 1 1. 0.78 2.39 0. 10.66 0. 7.17
time (sec) N/A 0.33 0.921 0.082 0. 3.269 0. 3.302


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 164 430 0 2402 0 381
normalized size 1 1. 0.85 2.23 0. 12.45 0. 1.97
time (sec) N/A 0.246 2.595 0.081 0. 2.876 0. 1.611


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 138 350 0 1643 0 288
normalized size 1 1. 0.92 2.33 0. 10.95 0. 1.92
time (sec) N/A 0.159 1.906 0.024 0. 1.986 0. 1.296


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 144 108 0 1300 0 147
normalized size 1 1. 1.29 0.96 0. 11.61 0. 1.31
time (sec) N/A 0.088 0.827 0.086 0. 2.343 0. 1.621


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 146 235 0 1999 0 236
normalized size 1 1. 0.95 1.53 0. 12.98 0. 1.53
time (sec) N/A 0.206 1.632 0.099 0. 2.552 0. 1.624


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 346 380 0 2931 0 355
normalized size 1 1. 1.5 1.65 0. 12.69 0. 1.54
time (sec) N/A 0.303 1.674 0.102 0. 2.742 0. 1.623


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 208 7044 0 941 0 0
normalized size 1 1. 1.29 43.75 0. 5.84 0. 0.
time (sec) N/A 0.165 3.252 0.752 0. 3.365 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 170 4296 0 674 0 410
normalized size 1 1. 1.5 38.02 0. 5.96 0. 3.63
time (sec) N/A 0.105 1.054 0.243 0. 3.453 0. 1.656


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 140 144 0 510 0 176
normalized size 1 1. 1.94 2. 0. 7.08 0. 2.44
time (sec) N/A 0.057 0.544 0.069 0. 3.392 0. 1.619


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 295 719 0 1319 0 0
normalized size 1 1. 3.51 8.56 0. 15.7 0. 0.
time (sec) N/A 0.087 7.383 0.251 0. 2.863 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 460 2075 0 2132 0 0
normalized size 1 1. 3.62 16.34 0. 16.79 0. 0.
time (sec) N/A 0.139 3.452 0.31 0. 6.426 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 187 187 1059 5378 0 3058 0 0
normalized size 1 1. 5.66 28.76 0. 16.35 0. 0.
time (sec) N/A 0.232 6.53 0.296 0. 8.878 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 330 2498 0 4998 0 0
normalized size 1 1. 1.75 13.22 0. 26.44 0. 0.
time (sec) N/A 0.237 3.662 0.413 0. 89.259 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 273 1343 0 4471 0 0
normalized size 1 1. 2.13 10.49 0. 34.93 0. 0.
time (sec) N/A 0.135 3.676 0.193 0. 8.631 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 203 169 0 1046 0 0
normalized size 1 1. 2.39 1.99 0. 12.31 0. 0.
time (sec) N/A 0.054 0.856 0.04 0. 2.127 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 156 1215 0 834 0 0
normalized size 1 1. 2.36 18.41 0. 12.64 0. 0.
time (sec) N/A 0.079 2.059 0.428 0. 2.333 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 204 2441 0 1076 0 0
normalized size 1 1. 2.04 24.41 0. 10.76 0. 0.
time (sec) N/A 0.095 4.375 0.349 0. 3.281 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 287 3769 0 1428 0 0
normalized size 1 1. 2.04 26.73 0. 10.13 0. 0.
time (sec) N/A 0.128 3.285 0.336 0. 8.094 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 233 2399 0 1053 0 0
normalized size 1 1. 1.03 10.57 0. 4.64 0. 0.
time (sec) N/A 0.216 5.523 0.453 0. 5.675 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 188 1104 0 768 0 0
normalized size 1 1. 1.01 5.94 0. 4.13 0. 0.
time (sec) N/A 0.165 1.78 0.183 0. 4.518 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 170 359 0 667 0 0
normalized size 1 1. 1.5 3.18 0. 5.9 0. 0.
time (sec) N/A 0.082 1.214 0.053 0. 3.903 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 418 1249 0 1905 0 0
normalized size 1 1. 3.29 9.83 0. 15. 0. 0.
time (sec) N/A 0.141 4.816 0.164 0. 7.219 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 1022 2904 0 2515 0 0
normalized size 1 1. 6.12 17.39 0. 15.06 0. 0.
time (sec) N/A 0.206 6.592 0.192 0. 7.955 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 409 6194 0 3437 0 0
normalized size 1 1. 1.83 27.78 0. 15.41 0. 0.
time (sec) N/A 0.362 4.855 0.352 0. 10.117 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 222 278 2630 0 0 0 0
normalized size 1 1. 1.25 11.85 0. 0. 0. 0.
time (sec) N/A 0.322 4.749 0.416 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 324 2261 0 4698 0 0
normalized size 1 1. 1.96 13.7 0. 28.47 0. 0.
time (sec) N/A 0.202 5.177 0.235 0. 60.221 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 233 297 0 1382 0 0
normalized size 1 1. 1.86 2.38 0. 11.06 0. 0.
time (sec) N/A 0.1 1.334 0.026 0. 5.671 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 220 1355 0 964 0 0
normalized size 1 1. 2.2 13.55 0. 9.64 0. 0.
time (sec) N/A 0.099 2.55 0.203 0. 3.408 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 177 4594 0 1231 0 0
normalized size 1 1. 1.09 28.36 0. 7.6 0. 0.
time (sec) N/A 0.137 1.74 0.586 0. 8.767 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 213 6988 0 1624 0 0
normalized size 1 1. 1.09 35.65 0. 8.29 0. 0.
time (sec) N/A 0.171 2.047 0.868 0. 26.699 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 112 169 289 292 0 0
normalized size 1 1. 0.78 1.17 2.01 2.03 0. 0.
time (sec) N/A 0.144 2.023 0.286 1.04 2.043 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 74 104 143 174 0 0
normalized size 1 1. 0.84 1.18 1.62 1.98 0. 0.
time (sec) N/A 0.101 1.433 0.221 1.027 1.856 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 52 78 47 104 0 119
normalized size 1 1. 1.41 2.11 1.27 2.81 0. 3.22
time (sec) N/A 0.047 0.603 0.069 0.984 1.761 0. 1.778


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 226 351 0 346 0 0
normalized size 1 1. 5.38 8.36 0. 8.24 0. 0.
time (sec) N/A 0.068 2.349 0.21 0. 2.454 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 303 2801 0 699 0 0
normalized size 1 1. 3.33 30.78 0. 7.68 0. 0.
time (sec) N/A 0.115 2.682 0.25 0. 2.542 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 278 6334 0 1071 0 0
normalized size 1 1. 1.94 44.29 0. 7.49 0. 0.
time (sec) N/A 0.16 4.331 0.238 0. 2.699 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 314 1169 0 1864 0 0
normalized size 1 1. 2.15 8.01 0. 12.77 0. 0.
time (sec) N/A 0.167 4.011 0.277 0. 23.758 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 270 795 0 1667 0 0
normalized size 1 1. 2.9 8.55 0. 17.92 0. 0.
time (sec) N/A 0.107 3.005 0.206 0. 3.52 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 67 0 311 0 0
normalized size 1 1. 1. 1.46 0. 6.76 0. 0.
time (sec) N/A 0.034 0.07 0.029 0. 2.072 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 49 57 0 113 0 0
normalized size 1 1. 1.63 1.9 0. 3.77 0. 0.
time (sec) N/A 0.07 0.248 0.178 0. 2.089 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 68 86 0 211 0 0
normalized size 1 1. 0.92 1.16 0. 2.85 0. 0.
time (sec) N/A 0.09 0.414 0.194 0. 3.122 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 90 148 0 339 0 0
normalized size 1 1. 0.73 1.2 0. 2.76 0. 0.
time (sec) N/A 0.137 1.818 0.214 0. 6.822 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 186 67748 525 528 0 0
normalized size 1 1. 0.93 340.44 2.64 2.65 0. 0.
time (sec) N/A 0.187 1.844 3.807 1.146 3.591 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 106 14991 292 358 0 0
normalized size 1 1. 0.81 114.44 2.23 2.73 0. 0.
time (sec) N/A 0.134 1.14 1.089 1.098 2.743 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 72 103 112 236 0 0
normalized size 1 1. 0.95 1.36 1.47 3.11 0. 0.
time (sec) N/A 0.064 1.554 0.053 1.02 2.459 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 333 3491 0 842 0 0
normalized size 1 1. 3.96 41.56 0. 10.02 0. 0.
time (sec) N/A 0.097 4.854 0.211 0. 3.414 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 308 5633 0 1087 0 0
normalized size 1 1. 2.43 44.35 0. 8.56 0. 0.
time (sec) N/A 0.158 4.097 0.261 0. 3.543 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 350 10582 0 1656 0 0
normalized size 1 1. 1.87 56.59 0. 8.86 0. 0.
time (sec) N/A 0.236 4.757 0.228 0. 3.791 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 325 6025 0 0 0 0
normalized size 1 1. 1.74 32.22 0. 0. 0. 0.
time (sec) N/A 0.223 3.316 1.602 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 282 1614 0 2133 0 0
normalized size 1 1. 2.1 12.04 0. 15.92 0. 0.
time (sec) N/A 0.157 2.771 0.218 0. 51.087 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 214 104 0 722 0 0
normalized size 1 1. 2.52 1.22 0. 8.49 0. 0.
time (sec) N/A 0.057 7.092 0.021 0. 2.21 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 74 109 0 211 0 0
normalized size 1 1. 1.19 1.76 0. 3.4 0. 0.
time (sec) N/A 0.098 0.653 0.17 0. 4.866 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 119 170 0 359 0 0
normalized size 1 1. 1.04 1.49 0. 3.15 0. 0.
time (sec) N/A 0.122 0.869 0.194 0. 27.599 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 135 264 0 0 0 0
normalized size 1 1. 0.79 1.54 0. 0. 0. 0.
time (sec) N/A 0.179 1.287 0.239 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 248 248 294 391 721 829 0 0
normalized size 1 1. 1.19 1.58 2.91 3.34 0. 0.
time (sec) N/A 0.231 2.282 1.559 1.075 6.251 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 205 262 416 598 0 0
normalized size 1 1. 1.22 1.56 2.48 3.56 0. 0.
time (sec) N/A 0.159 1.45 0.614 1.067 4.429 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 124 147 182 454 0 0
normalized size 1 1. 1.05 1.25 1.54 3.85 0. 0.
time (sec) N/A 0.078 1.213 0.058 1.035 2.968 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 305 27448 0 1561 0 0
normalized size 1 1. 2.24 201.82 0. 11.48 0. 0.
time (sec) N/A 0.146 4.707 1.415 0. 3.212 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 385 38486 0 2014 0 0
normalized size 1 1. 2.18 217.44 0. 11.38 0. 0.
time (sec) N/A 0.209 4.259 2.254 0. 3.421 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-1) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 237 237 1142 49917 0 2449 0 0
normalized size 1 1. 4.82 210.62 0. 10.33 0. 0.
time (sec) N/A 0.324 6.814 4.138 0. 4.148 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 246 246 378 7943 0 0 0 0
normalized size 1 1. 1.54 32.29 0. 0. 0. 0.
time (sec) N/A 0.333 5.652 1.49 0. 0. 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 309 2511 0 0 0 0
normalized size 1 1. 1.71 13.87 0. 0. 0. 0.
time (sec) N/A 0.209 4.287 0.217 0. 0. 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 134 134 1331 176 0 1245 0 0
normalized size 1 1. 9.93 1.31 0. 9.29 0. 0.
time (sec) N/A 0.113 9.42 0.021 0. 2.474 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 133 153 0 358 0 0
normalized size 1 1. 1.37 1.58 0. 3.69 0. 0.
time (sec) N/A 0.106 0.955 0.232 0. 47.768 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 140 245 0 0 0 0
normalized size 1 1. 0.96 1.68 0. 0. 0. 0.
time (sec) N/A 0.149 1.022 0.297 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 174 371 0 0 0 0
normalized size 1 1. 0.79 1.69 0. 0. 0. 0.
time (sec) N/A 0.229 2.167 0.228 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 292 0 0 0 0 0
normalized size 1 1. 3.17 0. 0. 0. 0. 0.
time (sec) N/A 0.153 2.078 0.777 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 121 121 275 0 0 0 0 0
normalized size 1 1. 2.27 0. 0. 0. 0. 0.
time (sec) N/A 0.141 2.344 0.658 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 208 208 283 0 0 0 0 0
normalized size 1 1. 1.36 0. 0. 0. 0. 0.
time (sec) N/A 0.223 7.427 0.885 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 140 140 184 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.111 3.877 0.583 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 80 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.848 0.173 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 1215 0 0 0 0 0
normalized size 1 1. 13.81 0. 0. 0. 0. 0.
time (sec) N/A 0.081 15.071 0.214 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 252 0 0 0 0 0
normalized size 1 1. 2.74 0. 0. 0. 0. 0.
time (sec) N/A 0.124 2.179 0.228 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 3698 0 0 0 0 0
normalized size 1 1. 44.55 0. 0. 0. 0. 0.
time (sec) N/A 0.108 19.341 0.734 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 192 0 0 0 0 0
normalized size 1 1. 2.46 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.553 0.072 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 68 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.081 0.654 0.214 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 111 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.116 1.466 0.234 0. 0. 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 176 141 0 0 0 0 0
normalized size 1 0.98 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.201 1.293 0.258 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 98 98 295 0 0 0 0 0
normalized size 1 1. 3.01 0. 0. 0. 0. 0.
time (sec) N/A 0.181 2.02 0.414 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 63 63 517 0 0 0 0 0
normalized size 1 1. 8.21 0. 0. 0. 0. 0.
time (sec) N/A 0.113 2.485 7.694 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.053 2.855 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 31 0 50 126 0 0
normalized size 1 1. 0.94 0. 1.52 3.82 0. 0.
time (sec) N/A 0.097 0.054 180. 1.165 1.112 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 59 0 99 250 0 0
normalized size 1 1. 0.86 0. 1.43 3.62 0. 0.
time (sec) N/A 0.116 0.156 180. 1.245 1.087 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 89 171293 146 435 0 0
normalized size 1 1. 0.86 1647.05 1.4 4.18 0. 0.
time (sec) N/A 0.128 0.287 9.345 1.252 1.134 0. 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 93 93 506 0 0 0 0 0
normalized size 1 1. 5.44 0. 0. 0. 0. 0.
time (sec) N/A 0.142 2.855 5.38 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 91 91 284 0 0 0 0 0
normalized size 1 1. 3.12 0. 0. 0. 0. 0.
time (sec) N/A 0.107 1.306 5.46 0. 0. 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 77 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.124 0.202 3.082 0. 0. 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 92 92 217 0 0 0 0 0
normalized size 1 1. 2.36 0. 0. 0. 0. 0.
time (sec) N/A 0.146 7.307 3.131 0. 0. 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.054 2.831 2.056 0. 0. 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 81 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.137 0.5 0.706 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 108 108 2033 0 0 0 0 0
normalized size 1 1. 18.82 0. 0. 0. 0. 0.
time (sec) N/A 0.145 16.917 0.842 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 91 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.148 0.463 0.224 0. 0. 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 56 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.127 2.647 2.256 0. 0. 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 46 43 212 136 68 701
normalized size 1 1. 0.71 0.66 3.26 2.09 1.05 10.78
time (sec) N/A 0.035 0.196 0.003 1.732 0.998 1.204 2.311


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 38 35 138 104 54 401
normalized size 1 1. 0.76 0.7 2.76 2.08 1.08 8.02
time (sec) N/A 0.03 0.097 0.001 1.642 1.002 0.65 1.56


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 26 25 80 66 37 180
normalized size 1 1. 0.81 0.78 2.5 2.06 1.16 5.62
time (sec) N/A 0.025 0.039 0.003 1.496 0.999 0.327 1.342


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 26 43 49 100 87 50
normalized size 1 1. 0.84 1.39 1.58 3.23 2.81 1.61
time (sec) N/A 0.022 0.026 0.018 1.545 1.027 0.593 1.298


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 36 69 90 204 248 69
normalized size 1 1. 0.65 1.25 1.64 3.71 4.51 1.25
time (sec) N/A 0.034 0.044 0.017 1.496 1.044 1.057 1.293


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 46 95 122 305 454 82
normalized size 1 1. 0.58 1.2 1.54 3.86 5.75 1.04
time (sec) N/A 0.048 0.042 0.016 1.709 1.076 1.809 1.29


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 63 106 134 166 116 2321
normalized size 1 1. 0.85 1.43 1.81 2.24 1.57 31.36
time (sec) N/A 0.049 0.225 0.006 1.144 1.103 0.885 7.185


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 65 78 95 126 88 1446
normalized size 1 1. 1.23 1.47 1.79 2.38 1.66 27.28
time (sec) N/A 0.039 0.164 0.003 1.142 1.104 0.479 2.995


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 40 50 50 86 60 675
normalized size 1 1. 1.18 1.47 1.47 2.53 1.76 19.85
time (sec) N/A 0.022 0.069 0.002 1.185 1.048 0.224 1.533


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 34 27 42 113 58 47
normalized size 1 1. 1.31 1.04 1.62 4.35 2.23 1.81
time (sec) N/A 0.029 0.039 0.043 1.074 1.129 0.627 1.225


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 56 41 42 154 100 215
normalized size 1 1. 1.65 1.21 1.24 4.53 2.94 6.32
time (sec) N/A 0.032 0.149 0.044 1.047 1.086 2.684 1.34


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 56 69 70 205 128 350
normalized size 1 1. 1.06 1.3 1.32 3.87 2.42 6.6
time (sec) N/A 0.042 0.224 0.043 1.077 1.059 9.17 1.343


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 129 120 97 178 109 1467
normalized size 1 1. 1.61 1.5 1.21 2.22 1.36 18.34
time (sec) N/A 0.052 0.047 0.004 1.69 1.079 1.185 6.264


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 97 92 77 134 82 855
normalized size 1 1. 1.62 1.53 1.28 2.23 1.37 14.25
time (sec) N/A 0.043 0.037 0.004 1.689 1.057 0.664 2.64


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 65 64 55 90 54 390
normalized size 1 1. 1.62 1.6 1.38 2.25 1.35 9.75
time (sec) N/A 0.034 0.024 0.003 1.64 1.028 0.344 1.562


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 28 29 31 46 20 340
normalized size 1 1. 1.47 1.53 1.63 2.42 1.05 17.89
time (sec) N/A 0.012 0.006 0. 1.616 1.059 0.161 1.196


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 34 31 36 68 46 62
normalized size 1 1. 1.62 1.48 1.71 3.24 2.19 2.95
time (sec) N/A 0.025 0.018 0.034 1.667 1.029 1.406 1.326


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 65 47 62 116 70 143
normalized size 1 1. 1.67 1.21 1.59 2.97 1.79 3.67
time (sec) N/A 0.037 0.037 0.04 1.616 1.069 4.629 1.326


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 69 67 82 161 97 227
normalized size 1 1. 1.13 1.1 1.34 2.64 1.59 3.72
time (sec) N/A 0.046 0.05 0.042 1.68 1.086 18.264 1.349


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 89 198 219 265 206 5148
normalized size 1 1. 0.85 1.89 2.09 2.52 1.96 49.03
time (sec) N/A 0.109 0.339 0.006 1.111 1.195 1.683 17.98


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 72 151 171 209 160 3510
normalized size 1 1. 0.88 1.84 2.09 2.55 1.95 42.8
time (sec) N/A 0.095 0.271 0.004 1.174 1.117 0.992 7.76


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 54 104 111 153 112 2039
normalized size 1 1. 0.87 1.68 1.79 2.47 1.81 32.89
time (sec) N/A 0.06 0.213 0.004 1.128 1.21 0.527 3.389


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 65 60 80 161 97 124
normalized size 1 1. 1.27 1.18 1.57 3.16 1.9 2.43
time (sec) N/A 0.064 0.12 0.052 1.087 1.17 2.487 1.58


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 51 62 69 234 131 223
normalized size 1 1. 0.91 1.11 1.23 4.18 2.34 3.98
time (sec) N/A 0.082 0.243 0.056 1.111 1.124 9.123 1.64


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 61 91 82 238 0 420
normalized size 1 1. 0.8 1.2 1.08 3.13 0. 5.53
time (sec) N/A 0.088 0.289 0.053 1.077 1.059 0. 1.688


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 243 226 159 293 212 3536
normalized size 1 1. 2.15 2. 1.41 2.59 1.88 31.29
time (sec) N/A 0.088 0.083 0.004 1.606 1.126 2.397 13.362


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 190 179 131 238 165 2273
normalized size 1 1. 2.09 1.97 1.44 2.62 1.81 24.98
time (sec) N/A 0.079 0.074 0.005 1.635 1.171 1.29 5.31


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 137 132 103 177 117 1265
normalized size 1 1. 1.99 1.91 1.49 2.57 1.7 18.33
time (sec) N/A 0.074 0.056 0.004 1.617 1.094 0.732 2.823


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 73 87 78 117 68 516
normalized size 1 1. 1.59 1.89 1.7 2.54 1.48 11.22
time (sec) N/A 0.031 0.576 0.003 1.644 1.064 0.382 1.47


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 66 53 62 115 73 66
normalized size 1 1. 1.74 1.39 1.63 3.03 1.92 1.74
time (sec) N/A 0.065 0.103 0.04 1.645 1.04 5.506 1.669


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 71 60 77 143 0 165
normalized size 1 1. 1.61 1.36 1.75 3.25 0. 3.75
time (sec) N/A 0.071 1.231 0.047 1.619 1.08 0. 1.749


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 104 91 105 204 0 300
normalized size 1 1. 1.53 1.34 1.54 3. 0. 4.41
time (sec) N/A 0.077 0.102 0.053 1.624 1.095 0. 1.811


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 64 72 103 203 348 622
normalized size 1 1. 0.9 1.01 1.45 2.86 4.9 8.76
time (sec) N/A 0.099 0.158 0.017 1.1 1.222 14.13 3.184


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 41 54 72 151 240 252
normalized size 1 1. 0.82 1.08 1.44 3.02 4.8 5.04
time (sec) N/A 0.086 0.033 0.016 1.067 1.177 4.978 1.972


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 37 50 41 90 143 72
normalized size 1 1. 1.03 1.39 1.14 2.5 3.97 2.
time (sec) N/A 0.053 0.028 0.014 1.055 1.089 3.348 1.487


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 57 76 66 169 398 80
normalized size 1 1. 0.89 1.19 1.03 2.64 6.22 1.25
time (sec) N/A 0.082 0.05 0.067 1.051 1.2 16.75 1.446


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 63 150 92 297 743 551
normalized size 1 1. 0.71 1.69 1.03 3.34 8.35 6.19
time (sec) N/A 0.113 0.25 0.08 1.112 1.227 68.366 1.489


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 83 264 130 367 0 755
normalized size 1 1. 0.72 2.3 1.13 3.19 0. 6.57
time (sec) N/A 0.137 0.34 0.082 1.073 1.326 0. 1.534


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 92 102 0 618 685 521
normalized size 1 1. 1.08 1.2 0. 7.27 8.06 6.13
time (sec) N/A 0.188 0.782 0.017 0. 1.217 20.898 4.154


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 70 70 0 495 493 405
normalized size 1 1. 1.11 1.11 0. 7.86 7.83 6.43
time (sec) N/A 0.106 0.274 0.016 0. 1.194 9.167 2.278


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 49 52 0 409 292 184
normalized size 1 1. 0.98 1.04 0. 8.18 5.84 3.68
time (sec) N/A 0.079 0.031 0.017 0. 1.141 3.607 1.564


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 49 52 0 406 280 231
normalized size 1 1. 0.98 1.04 0. 8.12 5.6 4.62
time (sec) N/A 0.074 0.047 0. 0. 1.106 3.384 1.329


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 68 73 0 568 570 390
normalized size 1 1. 1.06 1.14 0. 8.88 8.91 6.09
time (sec) N/A 0.111 0.237 0.067 0. 1.179 22.172 1.444


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 92 104 0 702 823 504
normalized size 1 1. 1.1 1.24 0. 8.36 9.8 6.
time (sec) N/A 0.173 0.647 0.079 0. 1.192 89.714 1.61


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 121 158 0 811 0 602
normalized size 1 1. 1.07 1.4 0. 7.18 0. 5.33
time (sec) N/A 0.241 1.868 0.082 0. 1.231 0. 1.731


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 73 149 173 423 1583 536
normalized size 1 1. 0.81 1.66 1.92 4.7 17.59 5.96
time (sec) N/A 0.121 0.665 0.026 1.141 1.268 118.299 2.974


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 61 109 119 234 930 397
normalized size 1 1. 0.88 1.58 1.72 3.39 13.48 5.75
time (sec) N/A 0.1 0.541 0.023 1.161 1.15 48.69 1.736


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 57 104 119 235 816 413
normalized size 1 1. 0.88 1.6 1.83 3.62 12.55 6.35
time (sec) N/A 0.072 0.602 0.024 1.108 1.138 48.229 1.391


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 90 160 167 439 0 205
normalized size 1 1. 0.87 1.55 1.62 4.26 0. 1.99
time (sec) N/A 0.121 1.986 0.092 1.12 1.277 0. 1.367


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 98 234 252 648 0 918
normalized size 1 1. 0.74 1.77 1.91 4.91 0. 6.95
time (sec) N/A 0.156 0.826 0.101 1.164 1.39 0. 1.464


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 121 347 319 759 0 919
normalized size 1 1. 0.75 2.16 1.98 4.71 0. 5.71
time (sec) N/A 0.179 1.011 0.109 1.153 1.474 0. 1.493


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 118 184 0 1065 2914 201
normalized size 1 1. 0.91 1.42 0. 8.19 22.42 1.55
time (sec) N/A 0.197 1.228 0.023 0. 1.29 147.662 4.354


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 94 160 0 865 2179 171
normalized size 1 1. 0.99 1.68 0. 9.11 22.94 1.8
time (sec) N/A 0.118 0.752 0.023 0. 1.258 52.049 2.202


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 87 151 0 892 2145 151
normalized size 1 1. 0.97 1.68 0. 9.91 23.83 1.68
time (sec) N/A 0.104 0.508 0.022 0. 1.56 50.906 1.568


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 88 160 0 865 2086 171
normalized size 1 1. 0.91 1.65 0. 8.92 21.51 1.76
time (sec) N/A 0.08 0.997 0. 0. 1.577 37.204 1.312


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 117 187 0 1142 0 231
normalized size 1 1. 0.91 1.46 0. 8.92 0. 1.8
time (sec) N/A 0.192 2.799 0.087 0. 1.685 0. 1.412


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 137 218 0 1335 0 242
normalized size 1 1. 0.81 1.29 0. 7.9 0. 1.43
time (sec) N/A 0.287 3. 0.098 0. 1.803 0. 1.44


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 218 218 165 272 0 1520 0 304
normalized size 1 1. 0.76 1.25 0. 6.97 0. 1.39
time (sec) N/A 0.342 5.023 0.102 0. 1.928 0. 1.44


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 97 234 255 459 3225 632
normalized size 1 1. 0.9 2.17 2.36 4.25 29.86 5.85
time (sec) N/A 0.152 1.069 0.026 1.128 1.563 173.463 3.334


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 87 193 262 473 2849 682
normalized size 1 1. 0.9 1.99 2.7 4.88 29.37 7.03
time (sec) N/A 0.117 0.75 0.023 1.176 1.572 170.769 2.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 82 190 259 458 2876 876
normalized size 1 1. 0.88 2.04 2.78 4.92 30.92 9.42
time (sec) N/A 0.088 0.657 0.026 1.101 1.583 171.352 1.688


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 126 289 338 895 0 360
normalized size 1 1. 0.85 1.95 2.28 6.05 0. 2.43
time (sec) N/A 0.165 1.66 0.098 1.11 1.895 0. 1.631


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 144 362 466 1175 0 1218
normalized size 1 1. 0.8 2. 2.57 6.49 0. 6.73
time (sec) N/A 0.214 1.923 0.105 1.132 2.053 0. 1.711


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 178 477 562 1324 0 2016
normalized size 1 1. 0.85 2.27 2.68 6.3 0. 9.6
time (sec) N/A 0.238 2.47 0.109 1.183 2.33 0. 1.771


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 142 351 0 1646 0 290
normalized size 1 1. 0.93 2.29 0. 10.76 0. 1.9
time (sec) N/A 0.229 2.171 0.026 0. 1.716 0. 4.324


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 136 338 0 1635 0 269
normalized size 1 1. 0.94 2.33 0. 11.28 0. 1.86
time (sec) N/A 0.181 1.895 0.025 0. 1.717 0. 2.416


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 139 339 0 1638 0 270
normalized size 1 1. 0.97 2.35 0. 11.38 0. 1.88
time (sec) N/A 0.154 1.977 0.023 0. 1.622 0. 1.753


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 138 350 0 1643 0 288
normalized size 1 1. 0.92 2.33 0. 10.95 0. 1.92
time (sec) N/A 0.152 1.781 0. 0. 1.716 0. 1.268


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 174 379 0 1989 0 312
normalized size 1 1. 0.92 2.01 0. 10.52 0. 1.65
time (sec) N/A 0.29 2.013 0.09 0. 1.937 0. 1.64


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 184 413 0 2261 0 352
normalized size 1 1. 0.77 1.72 0. 9.42 0. 1.47
time (sec) N/A 0.365 4.259 0.101 0. 2.129 0. 1.639


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 297 297 949 466 0 2547 0 414
normalized size 1 1. 3.2 1.57 0. 8.58 0. 1.39
time (sec) N/A 0.468 6.305 0.107 0. 2.458 0. 1.639


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 137 242 219 308 209 2982
normalized size 1 1. 1.19 2.1 1.9 2.68 1.82 25.93
time (sec) N/A 0.073 1.885 0.006 1.699 1.41 1.542 4.993


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 102 154 140 204 126 1386
normalized size 1 1. 1.32 2. 1.82 2.65 1.64 18.
time (sec) N/A 0.049 0.922 0.003 1.691 1.409 0.838 2.338


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 73 87 78 117 68 485
normalized size 1 1. 1.59 1.89 1.7 2.54 1.48 10.54
time (sec) N/A 0.031 0.573 0.004 1.694 1.338 0.397 1.47


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 28 29 31 46 20 312
normalized size 1 1. 1.47 1.53 1.63 2.42 1.05 16.42
time (sec) N/A 0.013 0.006 0.001 1.633 1.385 0.156 1.265


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 49 52 0 406 280 225
normalized size 1 1. 0.98 1.04 0. 8.12 5.6 4.5
time (sec) N/A 0.074 0.07 0.02 0. 1.493 3.163 1.315


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 88 160 0 865 2086 165
normalized size 1 1. 0.91 1.65 0. 8.92 21.51 1.7
time (sec) N/A 0.092 0.993 0.027 0. 1.523 36.543 1.321


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 138 350 0 1643 0 277
normalized size 1 1. 0.92 2.33 0. 10.95 0. 1.85
time (sec) N/A 0.144 1.878 0.027 0. 1.687 0. 1.313


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 32 56 1161 171 0 65
normalized size 1 1. 0.59 1.04 21.5 3.17 0. 1.2
time (sec) N/A 0.105 0.076 0.052 2.848 1.482 0. 1.141


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 20 29 373 55 0 39
normalized size 1 1. 0.67 0.97 12.43 1.83 0. 1.3
time (sec) N/A 0.087 0.029 0.03 1.931 1.35 0. 1.16


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 24 39 398 147 0 54
normalized size 1 1. 0.67 1.08 11.06 4.08 0. 1.5
time (sec) N/A 0.093 0.049 0.029 1.877 1.414 0. 1.175


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 0 30 10 14
normalized size 1 1. 1. 1.1 0. 3. 1. 1.4
time (sec) N/A 0.043 0.009 0.023 0. 1.311 0.671 1.118


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 30 23 51 180 0 32
normalized size 1 1. 1.25 0.96 2.12 7.5 0. 1.33
time (sec) N/A 0.073 0.018 0.096 1.867 1.396 0. 1.097


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 17 23 41 0 43
normalized size 1 1. 1. 1.21 1.64 2.93 0. 3.07
time (sec) N/A 0.08 0.014 0.083 1.65 1.286 0. 1.113


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 38 51 409 167 0 68
normalized size 1 1. 0.84 1.13 9.09 3.71 0. 1.51
time (sec) N/A 0.09 0.082 0.089 1.926 1.412 0. 1.107


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 22 25 39 70 0 80
normalized size 1 1. 0.65 0.74 1.15 2.06 0. 2.35
time (sec) N/A 0.1 0.024 0.084 1.644 1.298 0. 1.097


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 31 34 88 234 0 89
normalized size 1 1. 0.86 0.94 2.44 6.5 0. 2.47
time (sec) N/A 0.035 0.031 0.065 1.699 1.375 0. 1.435


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 22 29 755 82 0 42
normalized size 1 1. 0.69 0.91 23.59 2.56 0. 1.31
time (sec) N/A 0.1 0.05 0.018 1.932 1.391 0. 1.133


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 34 54 1261 174 0 66
normalized size 1 1. 0.58 0.92 21.37 2.95 0. 1.12
time (sec) N/A 0.12 0.063 0.016 2.862 1.378 0. 1.11


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 0 38 12 16
normalized size 1 1. 1. 0.93 0. 2.71 0.86 1.14
time (sec) N/A 0.051 0.015 0.01 0. 1.337 3.302 1.053


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 34 32 181 140 0 50
normalized size 1 1. 0.92 0.86 4.89 3.78 0. 1.35
time (sec) N/A 0.091 0.038 0.069 1.905 1.438 0. 1.082


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 27 54 181 159 0 84
normalized size 1 1. 0.82 1.64 5.48 4.82 0. 2.55
time (sec) N/A 0.109 0.027 0.089 1.986 1.324 0. 1.104


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 43 62 751 193 0 2869
normalized size 1 1. 0.63 0.91 11.04 2.84 0. 42.19
time (sec) N/A 0.039 0.068 0.02 1.908 1.299 0. 3.198


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 65 90 2388 236 0 0
normalized size 1 1. 0.66 0.92 24.37 2.41 0. 0.
time (sec) N/A 0.049 0.216 0.021 2.875 1.425 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 17 26 50 50 0 36
normalized size 1 1. 0.68 1.04 2. 2. 0. 1.44
time (sec) N/A 0.092 0.024 0.03 1.137 1.34 0. 1.102


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 49 38 57 190 0 54
normalized size 1 1. 1.58 1.23 1.84 6.13 0. 1.74
time (sec) N/A 0.093 0.037 0.028 1.858 1.273 0. 1.106


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 0 34 14 16
normalized size 1 1. 1. 1.08 0. 2.83 1.17 1.33
time (sec) N/A 0.046 0.013 0.023 0. 1.371 0.61 1.087


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 57 186 0 58
normalized size 1 1. 0.91 0.83 1.63 5.31 0. 1.66
time (sec) N/A 0.08 0.033 0.079 1.923 1.402 0. 1.073


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 22 24 173 86 0 63
normalized size 1 1. 0.71 0.77 5.58 2.77 0. 2.03
time (sec) N/A 0.092 0.027 0.086 1.88 1.402 0. 1.082


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 23 29 51 111 36 35
normalized size 1 1. 0.77 0.97 1.7 3.7 1.2 1.17
time (sec) N/A 0.097 0.025 0.019 1.181 1.295 3.499 1.084


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 18 56 19 99 0 22
normalized size 1 1. 0.78 2.43 0.83 4.3 0. 0.96
time (sec) N/A 0.101 0.018 0.016 1.925 1.342 0. 1.113


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 13 0 88 15 16
normalized size 1 1. 1. 0.93 0. 6.29 1.07 1.14
time (sec) N/A 0.049 0.012 0.011 0. 1.351 2.252 1.081


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 47 38 65 258 0 76
normalized size 1 1. 0.89 0.72 1.23 4.87 0. 1.43
time (sec) N/A 0.091 0.058 0.073 1.917 1.609 0. 1.091


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 31 31 304 139 0 74
normalized size 1 1. 0.52 0.52 5.07 2.32 0. 1.23
time (sec) N/A 0.115 0.057 0.071 1.889 1.599 0. 1.108


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 25 18 92 0 0
normalized size 1 1. 1. 1.04 0.75 3.83 0. 0.
time (sec) N/A 0.029 0.041 0.031 1.804 1.592 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 40 57 35 167 0 109
normalized size 1 1. 0.69 0.98 0.6 2.88 0. 1.88
time (sec) N/A 0.035 0.061 0.019 1.955 1.541 0. 1.668


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 52 88 53 231 0 147
normalized size 1 1. 0.59 1. 0.6 2.62 0. 1.67
time (sec) N/A 0.044 0.1 0.022 1.814 1.579 0. 1.879


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 62 119 68 293 0 185
normalized size 1 1. 0.53 1.01 0.58 2.48 0. 1.57
time (sec) N/A 0.053 0.184 0.021 1.828 1.536 0. 2.112


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 52 19 24 228 0 39
normalized size 1 1. 2.36 0.86 1.09 10.36 0. 1.77
time (sec) N/A 0.015 0.065 0.023 1.608 1.599 0. 1.071


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 44 4 4 185 0 22
normalized size 1 1. 14.67 1.33 1.33 61.67 0. 7.33
time (sec) N/A 0.011 0.009 0.021 1.616 1.629 0. 1.132


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 15 36 12 15
normalized size 1 1. 1. 1.09 1.36 3.27 1.09 1.36
time (sec) N/A 0.013 0.007 0.013 1.108 1.864 0.423 1.099


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A C C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 72 32 27 227 0 27
normalized size 1 1. 2.06 0.91 0.77 6.49 0. 0.77
time (sec) N/A 0.022 0.067 0.02 1.594 1.854 0. 1.094


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 46 17 23 55 0 9
normalized size 1 1. 2.88 1.06 1.44 3.44 0. 0.56
time (sec) N/A 0.017 0.007 0.029 1.845 1.872 0. 1.093


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 14 0 42 0 16
normalized size 1 1. 1. 1.08 0. 3.23 0. 1.23
time (sec) N/A 0.02 0.007 0.029 0. 1.713 0. 1.089


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 109 166 0 770 0 193
normalized size 1 1. 0.93 1.42 0. 6.58 0. 1.65
time (sec) N/A 0.146 1.36 0.046 0. 2.727 0. 1.206


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 82 114 0 621 0 131
normalized size 1 1. 0.93 1.3 0. 7.06 0. 1.49
time (sec) N/A 0.114 0.352 0.027 0. 2.471 0. 1.177


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 59 91 0 518 0 81
normalized size 1 1. 0.95 1.47 0. 8.35 0. 1.31
time (sec) N/A 0.071 0.05 0.032 0. 2.309 0. 1.155


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 72 615 0 953 0 0
normalized size 1 1. 0.97 8.31 0. 12.88 0. 0.
time (sec) N/A 0.101 0.061 0.256 0. 1.722 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 115 2135 0 1467 0 0
normalized size 1 1. 1. 18.57 0. 12.76 0. 0.
time (sec) N/A 0.148 0.36 0.319 0. 1.793 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 5676 0 1756 0 0
normalized size 1 1. 0.85 34.82 0. 10.77 0. 0.
time (sec) N/A 0.212 1.314 0.31 0. 1.906 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 222 823 451 0 2030 0 0
normalized size 1 1. 3.71 2.03 0. 9.14 0. 0.
time (sec) N/A 0.337 6.299 0.035 0. 14.409 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 767 323 0 1675 0 0
normalized size 1 1. 4.54 1.91 0. 9.91 0. 0.
time (sec) N/A 0.21 6.207 0.03 0. 7.598 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 251 230 0 1388 0 0
normalized size 1 1. 2.04 1.87 0. 11.28 0. 0.
time (sec) N/A 0.134 5.866 0.028 0. 3.454 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 203 169 0 1046 0 0
normalized size 1 1. 2.39 1.99 0. 12.31 0. 0.
time (sec) N/A 0.053 0.798 0. 0. 2.164 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 64 2233 0 640 0 0
normalized size 1 1. 0.85 29.77 0. 8.53 0. 0.
time (sec) N/A 0.096 0.252 0.349 0. 2.401 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 117 117 241 4518 0 751 0 0
normalized size 1 1. 2.06 38.62 0. 6.42 0. 0.
time (sec) N/A 0.154 6.816 0.308 0. 2.312 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 167 167 339 6894 0 902 0 0
normalized size 1 1. 2.03 41.28 0. 5.4 0. 0.
time (sec) N/A 0.231 14.219 0.401 0. 2.424 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 139 256 0 992 0 265
normalized size 1 1. 0.96 1.77 0. 6.84 0. 1.83
time (sec) N/A 0.175 1.333 0.026 0. 2.299 0. 1.29


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 112 204 0 797 0 203
normalized size 1 1. 0.97 1.76 0. 6.87 0. 1.75
time (sec) N/A 0.145 0.906 0.017 0. 2.269 0. 1.264


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 80 181 0 624 0 154
normalized size 1 1. 0.89 2.01 0. 6.93 0. 1.71
time (sec) N/A 0.097 0.383 0.016 0. 2.24 0. 1.207


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 90 1765 0 1481 0 0
normalized size 1 1. 0.95 18.58 0. 15.59 0. 0.
time (sec) N/A 0.131 0.251 0.186 0. 6.56 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 109 2011 0 1485 0 0
normalized size 1 1. 0.94 17.34 0. 12.8 0. 0.
time (sec) N/A 0.174 0.329 0.221 0. 1.866 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 140 5224 0 1817 0 0
normalized size 1 1. 0.87 32.45 0. 11.29 0. 0.
time (sec) N/A 0.222 1.362 0.197 0. 1.898 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 294 294 908 669 0 2572 0 0
normalized size 1 1. 3.09 2.28 0. 8.75 0. 0.
time (sec) N/A 0.448 6.489 0.024 0. 36.296 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 833 510 0 2103 0 0
normalized size 1 1. 3.72 2.28 0. 9.39 0. 0.
time (sec) N/A 0.355 6.356 0.017 0. 21.104 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 771 386 0 1739 0 0
normalized size 1 1. 4.48 2.24 0. 10.11 0. 0.
time (sec) N/A 0.249 6.256 0.016 0. 7.995 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 233 297 0 1382 0 0
normalized size 1 1. 1.86 2.38 0. 11.06 0. 0.
time (sec) N/A 0.095 1.271 0. 0. 4.834 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 256 3333 0 1829 0 0
normalized size 1 1. 2.25 29.24 0. 16.04 0. 0.
time (sec) N/A 0.138 6.124 0.339 0. 6.952 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 78 6591 0 760 0 0
normalized size 1 1. 0.68 57.31 0. 6.61 0. 0.
time (sec) N/A 0.173 0.29 0.319 0. 2.366 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 165 165 140 10026 0 927 0 0
normalized size 1 1. 0.85 60.76 0. 5.62 0. 0.
time (sec) N/A 0.245 8.509 0.426 0. 2.475 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 259 461 0 1763 0 0
normalized size 1 1. 1.52 2.71 0. 10.37 0. 0.
time (sec) N/A 0.179 1.25 0.059 0. 11.174 0. 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 87 111 0 717 0 154
normalized size 1 1. 0.92 1.17 0. 7.55 0. 1.62
time (sec) N/A 0.14 2.343 0.031 0. 2.166 0. 1.635


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 62 58 0 585 0 84
normalized size 1 1. 0.97 0.91 0. 9.14 0. 1.31
time (sec) N/A 0.111 0.265 0.029 0. 2.105 0. 1.464


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 35 0 446 0 47
normalized size 1 1. 1. 0.85 0. 10.88 0. 1.15
time (sec) N/A 0.064 0.027 0.03 0. 2.052 0. 1.4


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 72 496 0 1083 0 0
normalized size 1 1. 0.97 6.7 0. 14.64 0. 0.
time (sec) N/A 0.108 0.079 0.24 0. 1.761 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 135 3601 0 1650 0 0
normalized size 1 1. 1.16 31.04 0. 14.22 0. 0.
time (sec) N/A 0.163 0.733 0.276 0. 1.836 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 162 7641 0 1994 0 0
normalized size 1 1. 0.98 46.03 0. 12.01 0. 0.
time (sec) N/A 0.214 1.873 0.266 0. 1.948 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 768 261 0 1918 0 0
normalized size 1 1. 4.34 1.47 0. 10.84 0. 0.
time (sec) N/A 0.222 6.298 0.032 0. 15.203 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 713 165 0 1569 0 0
normalized size 1 1. 5.7 1.32 0. 12.55 0. 0.
time (sec) N/A 0.139 6.23 0.03 0. 8.436 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 149 102 0 1179 0 0
normalized size 1 1. 1.73 1.19 0. 13.71 0. 0.
time (sec) N/A 0.104 0.731 0.027 0. 2.8 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 67 0 311 0 0
normalized size 1 1. 1. 1.46 0. 6.76 0. 0.
time (sec) N/A 0.031 0.068 0. 0. 1.977 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 212 1195 0 701 0 0
normalized size 1 1. 2.72 15.32 0. 8.99 0. 0.
time (sec) N/A 0.119 9.343 0.307 0. 2.804 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 263 2433 0 844 0 0
normalized size 1 1. 2.19 20.27 0. 7.03 0. 0.
time (sec) N/A 0.165 11.036 0.369 0. 2.83 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 794 3741 0 1022 0 0
normalized size 1 1. 4.67 22.01 0. 6.01 0. 0.
time (sec) N/A 0.246 16.286 0.346 0. 2.857 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-1) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 84 141 0 987 0 134
normalized size 1 1. 0.86 1.44 0. 10.07 0. 1.37
time (sec) N/A 0.169 0.365 0.026 0. 2.755 0. 1.402


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 75 92 0 829 0 103
normalized size 1 1. 1.03 1.26 0. 11.36 0. 1.41
time (sec) N/A 0.133 0.362 0.017 0. 2.665 0. 1.374


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 56 68 0 790 56 93
normalized size 1 1. 0.81 0.99 0. 11.45 0.81 1.35
time (sec) N/A 0.088 0.073 0.014 0. 2.748 13.658 1.289


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 91 32888 0 2129 0 0
normalized size 1 1. 0.86 310.26 0. 20.08 0. 0.
time (sec) N/A 0.149 0.133 0.742 0. 2.25 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 115 54353 0 2851 0 0
normalized size 1 1. 0.73 346.2 0. 18.16 0. 0.
time (sec) N/A 0.246 0.427 1.523 0. 2.354 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 142 79934 0 3421 0 0
normalized size 1 1. 0.66 371.79 0. 15.91 0. 0.
time (sec) N/A 0.346 1.197 2.861 0. 2.695 0. 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 182 182 787 286 0 2768 0 0
normalized size 1 1. 4.32 1.57 0. 15.21 0. 0.
time (sec) N/A 0.251 6.393 0.023 0. 20.115 0. 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 250 193 0 2291 0 0
normalized size 1 1. 2.03 1.57 0. 18.63 0. 0.
time (sec) N/A 0.159 2.933 0.018 0. 10.804 0. 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 154 131 0 686 0 0
normalized size 1 1. 1.9 1.62 0. 8.47 0. 0.
time (sec) N/A 0.111 3.181 0.016 0. 2.131 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 214 104 0 722 0 0
normalized size 1 1. 2.52 1.22 0. 8.49 0. 0.
time (sec) N/A 0.065 6.125 0. 0. 2.275 0. 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 128 128 882 1305 0 1102 0 0
normalized size 1 1. 6.89 10.2 0. 8.61 0. 0.
time (sec) N/A 0.184 13.503 0.304 0. 2.994 0. 0.


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 802 2577 0 1312 0 0
normalized size 1 1. 4.36 14.01 0. 7.13 0. 0.
time (sec) N/A 0.259 16.383 0.266 0. 3.256 0. 0.


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 252 252 850 3925 0 1569 0 0
normalized size 1 1. 3.37 15.58 0. 6.23 0. 0.
time (sec) N/A 0.368 16.484 0.355 0. 2.852 0. 0.


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 91 169 0 1338 0 185
normalized size 1 1. 0.79 1.47 0. 11.63 0. 1.61
time (sec) N/A 0.204 0.453 0.027 0. 2.502 0. 1.492


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 84 118 0 1269 0 157
normalized size 1 1. 0.82 1.15 0. 12.32 0. 1.52
time (sec) N/A 0.156 0.298 0.018 0. 2.506 0. 1.442


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 58 94 0 1230 83 142
normalized size 1 1. 0.59 0.95 0. 12.42 0.84 1.43
time (sec) N/A 0.108 0.163 0.016 0. 2.511 19.734 1.341


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 94 331597 0 3623 0 0
normalized size 1 1. 0.64 2255.76 0. 24.65 0. 0.
time (sec) N/A 0.214 0.37 15.647 0. 2.181 0. 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 206 206 138 531573 0 4601 0 0
normalized size 1 1. 0.67 2580.45 0. 22.33 0. 0.
time (sec) N/A 0.35 0.583 34.855 0. 2.663 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 272 272 165 790286 0 5387 0 0
normalized size 1 1. 0.61 2905.46 0. 19.81 0. 0.
time (sec) N/A 0.443 1.992 58.722 0. 2.666 0. 0.


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 295 382 0 3800 0 0
normalized size 1 1. 1.73 2.23 0. 22.22 0. 0.
time (sec) N/A 0.267 4.44 0.047 0. 18.962 0. 0.


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 260 291 0 1137 0 0
normalized size 1 1. 1.98 2.22 0. 8.68 0. 0.
time (sec) N/A 0.159 6.038 0.046 0. 2.191 0. 0.


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 128 128 365 232 0 1176 0 0
normalized size 1 1. 2.85 1.81 0. 9.19 0. 0.
time (sec) N/A 0.153 7.732 0.044 0. 2.148 0. 0.


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 134 134 1331 176 0 1245 0 0
normalized size 1 1. 9.93 1.31 0. 9.29 0. 0.
time (sec) N/A 0.101 7.527 0.046 0. 2.132 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-1) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 186 186 1890 0 0 1693 0 0
normalized size 1 1. 10.16 0. 0. 9.1 0. 0.
time (sec) N/A 0.279 15.914 0.219 0. 3.006 0. 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-1) A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 249 249 871 0 0 1937 0 0
normalized size 1 1. 3.5 0. 0. 7.78 0. 0.
time (sec) N/A 0.378 16.506 0.23 0. 3.216 0. 0.


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 441 0 0 2286 0 0
normalized size 1 1. 1.35 0. 0. 6.99 0. 0.
time (sec) N/A 0.496 16.319 0.255 0. 3.359 0. 0.


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 74 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.083 0.08 0.786 0. 0. 0. 0.


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 100 100 101 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.119 0.23 0.589 0. 0. 0. 0.


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 106 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.171 0.735 0.398 0. 0. 0. 0.


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 73 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.103 0.126 0.316 0. 0. 0. 0.


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.081 0.294 0. 0. 0. 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 98 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.115 0.165 0.314 0. 0. 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 142 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.168 0.645 0.296 0. 0. 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 172 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.253 2.542 0.301 0. 0. 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-1) F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 83 83 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.1 2.876 0.418 0. 0. 0. 0.


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 2250 0 0 0 0 0
normalized size 1 1. 27.11 0. 0. 0. 0. 0.
time (sec) N/A 0.099 14.847 0.332 0. 0. 0. 0.


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 1992 0 0 0 0 0
normalized size 1 1. 24. 0. 0. 0. 0. 0.
time (sec) N/A 0.102 14.549 0.283 0. 0. 0. 0.


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 192 0 0 0 0 0
normalized size 1 1. 2.46 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.378 0.001 0. 0. 0. 0.


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 1989 0 0 0 0 0
normalized size 1 1. 25.18 0. 0. 0. 0. 0.
time (sec) N/A 0.098 14.505 0.281 0. 0. 0. 0.


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 2468 0 0 0 0 0
normalized size 1 1. 29.73 0. 0. 0. 0. 0.
time (sec) N/A 0.099 14.556 0.283 0. 0. 0. 0.


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-1) F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 83 83 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.099 3.614 0.316 0. 0. 0. 0.


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 224 321 351 559 301 8031
normalized size 1 1. 0.88 1.26 1.38 2.19 1.18 31.49
time (sec) N/A 0.147 0.904 0.008 1.519 1.776 4.696 75.904


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 160 201 247 365 194 4219
normalized size 1 1. 0.95 1.2 1.47 2.17 1.15 25.11
time (sec) N/A 0.098 0.429 0.007 1.523 1.672 1.908 17.739


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 107 108 112 213 94 1438
normalized size 1 1. 1.2 1.21 1.26 2.39 1.06 16.16
time (sec) N/A 0.06 0.473 0.007 1.504 1.656 0.76 3.709


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 30 36 49 92 37 339
normalized size 1 1. 0.94 1.12 1.53 2.88 1.16 10.59
time (sec) N/A 0.019 0.077 0.005 0.998 1.612 0.209 1.505


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) C F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 278 355 0 10283 0 451
normalized size 1 1. 1.09 1.39 0. 40.17 0. 1.76
time (sec) N/A 0.38 0.575 0.027 0. 10.13 0. 1.587


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) C F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 558 558 575 1086 0 24260 0 811
normalized size 1 1. 1.03 1.95 0. 43.48 0. 1.45
time (sec) N/A 0.728 6.279 0.036 0. 13.901 0. 1.655


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 57 34 45 149 34 46
normalized size 1 1. 1.54 0.92 1.22 4.03 0.92 1.24
time (sec) N/A 0.061 0.022 0.026 1.507 1.384 0.201 1.099


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 196 412 358 564 386 10450
normalized size 1 1. 0.91 1.91 1.66 2.61 1.79 48.38
time (sec) N/A 0.129 4.264 0.005 1.519 1.545 10.663 156.397


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 128 252 225 367 224 4724
normalized size 1 1. 0.89 1.75 1.56 2.55 1.56 32.81
time (sec) N/A 0.082 0.974 0.006 1.534 1.374 4.196 34.499


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 75 134 123 208 116 1594
normalized size 1 1. 0.91 1.63 1.5 2.54 1.41 19.44
time (sec) N/A 0.055 0.526 0.006 1.573 1.436 1.352 6.446


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 44 43 46 82 32 797
normalized size 1 1. 1.26 1.23 1.31 2.34 0.91 22.77
time (sec) N/A 0.025 0.026 0.006 1.497 1.393 0.262 2.259


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 302 302 228 374 0 3252 2759 478
normalized size 1 1. 0.75 1.24 0. 10.77 9.14 1.58
time (sec) N/A 0.321 0.541 0.031 0. 1.991 24.924 2.271


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 648 648 598 886 0 9750 0 698
normalized size 1 1. 0.92 1.37 0. 15.05 0. 1.08
time (sec) N/A 0.661 6.274 0.037 0. 3.677 0. 2.397


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 650 650 219 531 0 0 0 0
normalized size 1 1. 0.34 0.82 0. 0. 0. 0.
time (sec) N/A 0.56 0.725 0.12 0. 0. 0. 0.


















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 106 123 0 0 0 0
normalized size 1 1. 0.3 0.35 0. 0. 0. 0.
time (sec) N/A 0.224 0.36 0.069 0. 0. 0. 0.


















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 145 181 0 1443 0 144
normalized size 1 1. 1.41 1.76 0. 14.01 0. 1.4
time (sec) N/A 0.207 3.674 0.085 0. 2.674 0. 1.228


















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 86 139 0 1285 0 117
normalized size 1 1. 0.96 1.54 0. 14.28 0. 1.3
time (sec) N/A 0.118 0.041 0.048 0. 2.484 0. 1.181


















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 98 0 0 2809 0 0
normalized size 1 1. 0.96 0. 0. 27.54 0. 0.
time (sec) N/A 0.171 0.069 0.16 0. 3.583 0. 0.


















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 643 643 550 537 0 0 0 0
normalized size 1 1. 0.86 0.84 0. 0. 0. 0.
time (sec) N/A 0.496 16.836 0.056 0. 0. 0. 0.


















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 189 374 0 1937 0 0
normalized size 1 1. 1.28 2.53 0. 13.09 0. 0.
time (sec) N/A 0.31 6.044 0.058 0. 4.998 0. 0.


















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 166 313 0 1609 0 0
normalized size 1 1. 1.32 2.48 0. 12.77 0. 0.
time (sec) N/A 0.208 4.391 0.046 0. 4.23 0. 0.


















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 190 0 0 3501 0 0
normalized size 1 1. 1.23 0. 0. 22.59 0. 0.
time (sec) N/A 0.267 2.999 0.138 0. 131.972 0. 0.


















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 74 91 0 1251 0 101
normalized size 1 1. 1. 1.23 0. 16.91 0. 1.36
time (sec) N/A 0.129 0.053 0.065 0. 2.974 0. 1.168


















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 65 0 385 0 62
normalized size 1 1. 1. 1.59 0. 9.39 0. 1.51
time (sec) N/A 0.068 0.015 0.053 0. 2.714 0. 1.13


















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 0 0 1226 0 0
normalized size 1 1. 1. 0. 0. 17.51 0. 0.
time (sec) N/A 0.158 0.048 0.148 0. 3.164 0. 0.


















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 122 179 0 0 0 0
normalized size 1 1. 0.42 0.62 0. 0. 0. 0.
time (sec) N/A 0.24 2.061 0.059 0. 0. 0. 0.


















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 67 267 0 721 0 139
normalized size 1 1. 0.94 3.76 0. 10.15 0. 1.96
time (sec) N/A 0.162 0.321 0.076 0. 3.272 0. 1.317


















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 73 248 0 771 0 161
normalized size 1 1. 0.99 3.35 0. 10.42 0. 2.18
time (sec) N/A 0.115 0.274 0.056 0. 3.269 0. 1.241


















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 108 0 0 2276 0 0
normalized size 1 1. 0.89 0. 0. 18.81 0. 0.
time (sec) N/A 0.214 0.561 0.125 0. 4.734 0. 0.


















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 104 654 0 1273 0 806
normalized size 1 1. 0.95 6. 0. 11.68 0. 7.39
time (sec) N/A 0.228 0.77 0.093 0. 4.049 0. 1.249


















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 113 602 0 1355 0 834
normalized size 1 1. 0.97 5.15 0. 11.58 0. 7.13
time (sec) N/A 0.187 0.765 0.065 0. 4.13 0. 1.37


















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 149 0 0 3970 0 0
normalized size 1 1. 0.81 0. 0. 21.69 0. 0.
time (sec) N/A 0.302 1.407 0.128 0. 7.161 0. 0.


















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 151 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.713 1.283 0.257 0. 0. 0. 0.


















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 304 0 0 0 0 0
normalized size 1 1. 2.51 0. 0. 0. 0. 0.
time (sec) N/A 0.331 0.603 0.198 0. 0. 0. 0.


















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 460 460 385 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 1.283 6.279 0.201 0. 0. 0. 0.


















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 617 617 381 0 0 0 0 0
normalized size 1 1. 0.62 0. 0. 0. 0. 0.
time (sec) N/A 1.579 5.891 0.286 0. 0. 0. 0.


















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 76 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.081 3.97 0. 0. 0. 0.


















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 65 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.076 3.128 0. 0. 0. 0.


















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.038 0.002 0. 0. 0. 0.


















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 61 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.11 0.049 3.553 0. 0. 0. 0.


















Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.114 0.076 3.549 0. 0. 0. 0.


















Problem 415 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.081 3.42 0. 0. 0. 0.


















Problem 416 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 61 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.063 0.505 0. 0. 0. 0.


















Problem 417 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 61 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.057 5.706 0. 0. 0. 0.


















Problem 418 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 0.016 5.779 0. 0. 0. 0.


















Problem 419 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 59 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.056 3.477 0. 0. 0. 0.


















Problem 420 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 3.525 0.489 0. 0. 0. 0.


















Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 70 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.122 0.137 0.646 0. 0. 0. 0.


















Problem 422 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 265 0 0 0 0 0
normalized size 1 1. 2.48 0. 0. 0. 0. 0.
time (sec) N/A 0.199 2.331 0.522 0. 0. 0. 0.


















Problem 423 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 77 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.143 0.118 4.112 0. 0. 0. 0.


















Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 56 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.139 9.022 0.536 0. 0. 0. 0.


















Problem 425 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 93 116 128 235 0 132
normalized size 1 1. 1.33 1.66 1.83 3.36 0. 1.89
time (sec) N/A 0.051 0.067 0.088 1.106 1.562 0. 1.704


















Problem 426 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 48 75 84 192 0 86
normalized size 1 1. 1.14 1.79 2. 4.57 0. 2.05
time (sec) N/A 0.034 0.022 0.032 1.211 1.323 0. 1.668


















Problem 427 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 47 44 62 115 0 65
normalized size 1 1. 1.68 1.57 2.21 4.11 0. 2.32
time (sec) N/A 0.033 0.025 0.037 1.086 1.539 0. 1.681


















Problem 428 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 44 36 39 74 0 49
normalized size 1 1. 1.38 1.12 1.22 2.31 0. 1.53
time (sec) N/A 0.035 0.017 0.077 1.057 1.429 0. 1.558


















Problem 429 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 52 72 63 117 0 2898
normalized size 1 1. 0.96 1.33 1.17 2.17 0. 53.67
time (sec) N/A 0.05 0.186 0.082 1.019 1.485 0. 37.295


















Problem 430 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 75 92 86 163 0 0
normalized size 1 1. 0.99 1.21 1.13 2.14 0. 0.
time (sec) N/A 0.059 0.283 0.081 1.005 1.521 0. 0.


















Problem 431 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 75 94 76 180 0 95
normalized size 1 1. 1.1 1.38 1.12 2.65 0. 1.4
time (sec) N/A 0.051 0.247 0.087 1.115 1.357 0. 1.468


















Problem 432 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 53 66 53 135 0 65
normalized size 1 1. 1.15 1.43 1.15 2.93 0. 1.41
time (sec) N/A 0.041 0.138 0.043 1.002 1.312 0. 1.531


















Problem 433 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 33 34 92 36 34
normalized size 1 1. 1. 1.18 1.21 3.29 1.29 1.21
time (sec) N/A 0.029 0.011 0.038 1.125 1.488 1.766 1.462


















Problem 434 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 54 53 77 0 228
normalized size 1 1. 0.97 1.64 1.61 2.33 0. 6.91
time (sec) N/A 0.039 0.056 0.036 1.64 1.722 0. 1.409


















Problem 435 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 46 81 93 122 0 2714
normalized size 1 1. 0.75 1.33 1.52 2. 0. 44.49
time (sec) N/A 0.046 0.128 0.082 1.649 1.685 0. 4.166


















Problem 436 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 74 102 131 167 0 5072
normalized size 1 1. 0.85 1.17 1.51 1.92 0. 58.3
time (sec) N/A 0.055 0.211 0.085 1.705 1.678 0. 5.932


















Problem 437 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B A A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 128 128 875 248 211 343 0 225
normalized size 1 1. 6.84 1.94 1.65 2.68 0. 1.76
time (sec) N/A 0.165 10.817 0.066 1.125 1.777 0. 1.863


















Problem 438 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 347 178 161 284 0 162
normalized size 1 1. 3.61 1.85 1.68 2.96 0. 1.69
time (sec) N/A 0.086 8.491 0.04 1.04 1.404 0. 1.827


















Problem 439 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 66 125 142 266 0 140
normalized size 1 1. 1.06 2.02 2.29 4.29 0. 2.26
time (sec) N/A 0.09 0.367 0.046 1.098 1.542 0. 1.906


















Problem 440 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 71 104 97 197 0 130
normalized size 1 1. 1.27 1.86 1.73 3.52 0. 2.32
time (sec) N/A 0.064 0.408 0.049 1.161 1.48 0. 1.941


















Problem 441 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 52 89 76 169 0 0
normalized size 1 1. 0.91 1.56 1.33 2.96 0. 0.
time (sec) N/A 0.06 0.159 0.052 1.015 1.477 0. 0.


















Problem 442 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 77 153 109 231 0 0
normalized size 1 1. 0.9 1.78 1.27 2.69 0. 0.
time (sec) N/A 0.08 0.366 0.056 1.092 1.522 0. 0.


















Problem 443 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 116 183 140 290 0 0
normalized size 1 1. 1.02 1.61 1.23 2.54 0. 0.
time (sec) N/A 0.099 0.608 0.093 1.129 1.513 0. 0.


















Problem 444 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 106 157 115 284 0 159
normalized size 1 1. 1.1 1.64 1.2 2.96 0. 1.66
time (sec) N/A 0.084 0.354 0.062 1.113 1.43 0. 2.412


















Problem 445 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 83 111 89 231 0 108
normalized size 1 1. 1.12 1.5 1.2 3.12 0. 1.46
time (sec) N/A 0.069 0.514 0.059 1.131 1.513 0. 2.264


















Problem 446 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 57 57 167 0 57
normalized size 1 1. 1. 1.16 1.16 3.41 0. 1.16
time (sec) N/A 0.054 0.14 0.053 1.029 1.446 0. 1.776


















Problem 447 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 111 89 166 0 802
normalized size 1 1. 1. 2.02 1.62 3.02 0. 14.58
time (sec) N/A 0.077 0.394 0.043 1.674 1.412 0. 1.955


















Problem 448 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 65 122 131 176 0 5287
normalized size 1 1. 0.75 1.4 1.51 2.02 0. 60.77
time (sec) N/A 0.085 0.324 0.044 1.584 1.383 0. 47.857


















Problem 449 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 87 166 177 235 0 6057
normalized size 1 1. 0.71 1.36 1.45 1.93 0. 49.65
time (sec) N/A 0.131 0.358 0.053 1.555 1.418 0. 61.645


















Problem 450 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 207 224 0 724 0 177
normalized size 1 1. 2.3 2.49 0. 8.04 0. 1.97
time (sec) N/A 0.143 1.328 0.087 0. 2.037 0. 1.76


















Problem 451 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 53 111 0 413 0 119
normalized size 1 1. 0.9 1.88 0. 7. 0. 2.02
time (sec) N/A 0.081 0.104 0.077 0. 1.693 0. 2.222


















Problem 452 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 36 0 279 0 63
normalized size 1 1. 1. 0.9 0. 6.98 0. 1.58
time (sec) N/A 0.046 0.047 0.056 0. 1.329 0. 1.729


















Problem 453 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 60 61 0 414 0 99
normalized size 1 1. 1. 1.02 0. 6.9 0. 1.65
time (sec) N/A 0.08 0.094 0.063 0. 1.535 0. 1.703


















Problem 454 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 115 98 0 617 0 217
normalized size 1 1. 1.31 1.11 0. 7.01 0. 2.47
time (sec) N/A 0.122 0.492 0.064 0. 1.572 0. 1.653


















Problem 455 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 148 165 0 892 0 431
normalized size 1 1. 1.17 1.31 0. 7.08 0. 3.42
time (sec) N/A 0.148 1.714 0.071 0. 1.765 0. 1.765


















Problem 456 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 103 206 0 992 0 204
normalized size 1 1. 0.95 1.91 0. 9.19 0. 1.89
time (sec) N/A 0.11 0.923 0.073 0. 1.783 0. 1.63


















Problem 457 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 74 127 0 807 0 130
normalized size 1 1. 0.96 1.65 0. 10.48 0. 1.69
time (sec) N/A 0.091 0.331 0.07 0. 1.535 0. 1.612


















Problem 458 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 52 66 0 644 0 84
normalized size 1 1. 1. 1.27 0. 12.38 0. 1.62
time (sec) N/A 0.067 0.144 0.063 0. 1.627 0. 1.65


















Problem 459 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 24 0 487 0 54
normalized size 1 1. 1. 0.75 0. 15.22 0. 1.69
time (sec) N/A 0.053 0.052 0.064 0. 1.498 0. 1.71


















Problem 460 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 78 137 0 690 0 149
normalized size 1 1. 0.94 1.65 0. 8.31 0. 1.8
time (sec) N/A 0.104 0.185 0.069 0. 1.688 0. 1.658


















Problem 461 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 113 303 0 929 0 247
normalized size 1 1. 0.88 2.35 0. 7.2 0. 1.91
time (sec) N/A 0.167 0.428 0.077 0. 1.75 0. 1.651


















Problem 462 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 254 389 0 1447 0 331
normalized size 1 1. 1.52 2.33 0. 8.66 0. 1.98
time (sec) N/A 0.267 4.104 0.109 0. 2.421 0. 1.808


















Problem 463 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 191 236 0 929 0 207
normalized size 1 1. 1.75 2.17 0. 8.52 0. 1.9
time (sec) N/A 0.141 0.807 0.099 0. 2.019 0. 1.819


















Problem 464 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 75 80 0 598 0 123
normalized size 1 1. 0.95 1.01 0. 7.57 0. 1.56
time (sec) N/A 0.08 0.238 0.09 0. 1.541 0. 1.739


















Problem 465 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 92 102 0 738 0 151
normalized size 1 1. 0.98 1.09 0. 7.85 0. 1.61
time (sec) N/A 0.083 0.237 0.074 0. 1.623 0. 1.785


















Problem 466 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 119 118 0 973 0 205
normalized size 1 1. 1.04 1.04 0. 8.54 0. 1.8
time (sec) N/A 0.181 0.522 0.085 0. 1.81 0. 1.724


















Problem 467 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 147 164 0 1307 0 444
normalized size 1 1. 1.03 1.15 0. 9.14 0. 3.1
time (sec) N/A 0.213 1.523 0.092 0. 2.081 0. 1.75


















Problem 468 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 135 275 0 1349 0 243
normalized size 1 1. 1.06 2.17 0. 10.62 0. 1.91
time (sec) N/A 0.142 0.732 0.093 0. 1.853 0. 1.705


















Problem 469 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 104 181 0 1089 0 173
normalized size 1 1. 1. 1.74 0. 10.47 0. 1.66
time (sec) N/A 0.136 0.62 0.085 0. 1.729 0. 1.731


















Problem 470 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 83 112 0 844 0 124
normalized size 1 1. 1.08 1.45 0. 10.96 0. 1.61
time (sec) N/A 0.076 0.29 0.088 0. 1.738 0. 1.709


















Problem 471 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 63 57 0 771 0 95
normalized size 1 1. 0.95 0.86 0. 11.68 0. 1.44
time (sec) N/A 0.062 0.266 0.083 0. 1.694 0. 1.737


















Problem 472 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 116 248 0 1370 0 1083
normalized size 1 1. 0.78 1.68 0. 9.26 0. 7.32
time (sec) N/A 0.186 1.148 0.084 0. 1.954 0. 147.814


















Problem 473 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 148 413 0 1786 0 363
normalized size 1 1. 0.7 1.95 0. 8.42 0. 1.71
time (sec) N/A 0.301 2.021 0.088 0. 2.147 0. 1.731


















Problem 474 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 81 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.098 0.186 0.808 0. 0. 0. 0.


















Problem 475 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 108 108 2033 0 0 0 0 0
normalized size 1 1. 18.82 0. 0. 0. 0. 0.
time (sec) N/A 0.094 16.163 0.923 0. 0. 0. 0.


















Problem 476 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 89 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.157 0.267 0. 0. 0. 0.


















Problem 477 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 122 0 143 266 0 0
normalized size 1 1. 1.23 0. 1.44 2.69 0. 0.
time (sec) N/A 0.135 2.143 0.532 1.258 1.495 0. 0.


















Problem 478 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 87 0 96 189 0 0
normalized size 1 1. 1.34 0. 1.48 2.91 0. 0.
time (sec) N/A 0.111 2.094 0.514 1.117 1.416 0. 0.


















Problem 479 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 25070 47 126 0 0
normalized size 1 1. 1. 808.71 1.52 4.06 0. 0.
time (sec) N/A 0.093 0.023 2.749 1.031 1.422 0. 0.


















Problem 480 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.005 0.003 0. 0. 0. 0.


















Problem 481 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 61 61 1060 0 0 0 0 0
normalized size 1 1. 17.38 0. 0. 0. 0. 0.
time (sec) N/A 0.104 5.566 5.872 0. 0. 0. 0.


















Problem 482 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 81 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.111 0.537 0. 0. 0. 0.


















Problem 483 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 70 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.077 3.32 0. 0. 0. 0.


















Problem 484 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 482 0 0 0 0 0
normalized size 1 1. 6.1 0. 0. 0. 0. 0.
time (sec) N/A 0.076 3.509 7.773 0. 0. 0. 0.


















Problem 485 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 82 82 1552 0 0 0 0 0
normalized size 1 1. 18.93 0. 0. 0. 0. 0.
time (sec) N/A 0.092 6.57 6.417 0. 0. 0. 0.


















Problem 486 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 2.686 2.257 0. 0. 0. 0.


















Problem 487 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 3.623 0.381 0. 0. 0. 0.


















Problem 488 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 1.746 0.305 0. 0. 0. 0.


















Problem 489 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 3.252 0.339 0. 0. 0. 0.


















Problem 490 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 10.538 0.75 0. 0. 0. 0.


















Problem 491 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 244 244 165 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.191 2.193 0.428 0. 0. 0. 0.


















Problem 492 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 122 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.13 1.619 0.378 0. 0. 0. 0.


















Problem 493 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.077 0.11 0.333 0. 0. 0. 0.


















Problem 494 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.769 0.297 0. 0. 0. 0.


















Problem 495 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 27 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 8.139 0.501 0. 0. 0. 0.


















Problem 496 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 98 98 299 0 0 0 0 0
normalized size 1 1. 3.05 0. 0. 0. 0. 0.
time (sec) N/A 0.189 1.923 0.924 0. 0. 0. 0.


















Problem 497 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 127 127 292 0 0 0 0 0
normalized size 1 1. 2.3 0. 0. 0. 0. 0.
time (sec) N/A 0.183 3.504 0.773 0. 0. 0. 0.


















Problem 498 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 104 104 319 0 0 0 0 0
normalized size 1 1. 3.07 0. 0. 0. 0. 0.
time (sec) N/A 0.214 2.071 0.292 0. 0. 0. 0.


















Problem 499 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 56 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.132 2.683 2.397 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [379] had the largest ratio of [ 0.9286 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 4 3 1. 14 0.214







2 A 3 3 1. 14 0.214







3 A 2 2 1. 14 0.143







4 A 2 2 1. 14 0.143







5 A 3 3 1. 14 0.214







6 A 4 3 1. 14 0.214







7 A 16 10 1. 14 0.714







8 A 14 10 1. 14 0.714







9 A 13 10 1. 14 0.714







10 A 13 10 1. 14 0.714







11 A 14 10 1. 14 0.714







12 A 16 10 1. 14 0.714







13 A 7 3 1. 14 0.214







14 A 5 3 1. 14 0.214







15 A 3 3 1. 14 0.214







16 A 3 3 1. 14 0.214







17 A 5 3 1. 14 0.214







18 A 7 3 1. 14 0.214







19 A 3 3 1. 14 0.214







20 A 3 3 1. 14 0.214







21 A 3 3 1. 14 0.214







22 A 3 3 1. 14 0.214







23 A 3 3 1. 14 0.214







24 A 3 3 1. 14 0.214







25 A 3 3 1. 12 0.25







26 A 3 3 1. 12 0.25







27 A 3 3 1. 12 0.25







28 A 3 3 1. 12 0.25







29 A 2 2 1. 14 0.143







30 A 3 2 1. 21 0.095







31 A 3 2 1. 21 0.095







32 A 3 2 1. 19 0.105







33 A 3 3 1. 19 0.158







34 A 4 4 1. 21 0.19







35 A 5 5 1. 21 0.238







36 A 6 6 1. 21 0.286







37 A 5 5 1. 21 0.238







38 A 4 4 1. 21 0.19







39 A 3 2 1. 12 0.167







40 A 3 2 1. 21 0.095







41 A 3 2 1. 21 0.095







42 A 3 2 1. 21 0.095







43 A 3 2 1. 23 0.087







44 A 3 2 1. 23 0.087







45 A 3 2 1. 21 0.095







46 A 4 3 1. 21 0.143







47 A 5 5 1. 23 0.217







48 A 6 5 1. 23 0.217







49 A 6 5 1. 23 0.217







50 A 5 5 1. 23 0.217







51 A 4 3 1. 14 0.214







52 A 3 2 1. 23 0.087







53 A 3 2 1. 23 0.087







54 A 3 2 1. 23 0.087







55 A 4 3 1. 23 0.13







56 A 4 4 1. 23 0.174







57 A 3 3 1. 21 0.143







58 A 4 4 1. 21 0.19







59 A 5 5 1. 23 0.217







60 A 6 6 1. 23 0.261







61 A 7 7 1. 23 0.304







62 A 6 6 1. 23 0.261







63 A 5 5 1. 23 0.217







64 A 3 3 1. 14 0.214







65 A 3 3 1. 23 0.13







66 A 4 4 1. 23 0.174







67 A 4 3 1. 23 0.13







68 A 6 5 1. 23 0.217







69 A 5 4 1. 23 0.174







70 A 4 4 1. 21 0.19







71 A 5 5 1. 21 0.238







72 A 6 6 1. 23 0.261







73 A 7 6 1. 23 0.261







74 A 7 6 1. 23 0.261







75 A 6 6 1. 23 0.261







76 A 5 5 1. 14 0.357







77 A 4 4 1. 23 0.174







78 A 5 4 1. 23 0.174







79 A 6 5 1. 23 0.217







80 A 7 6 1. 23 0.261







81 A 6 5 1. 23 0.217







82 A 5 4 1. 21 0.19







83 A 6 6 1. 21 0.286







84 A 7 6 1. 23 0.261







85 A 8 6 1. 23 0.261







86 A 8 6 1. 23 0.261







87 A 7 6 1. 23 0.261







88 A 6 6 1. 14 0.429







89 A 5 4 1. 23 0.174







90 A 6 5 1. 23 0.217







91 A 7 6 1. 23 0.261







92 A 6 6 1. 25 0.24







93 A 5 5 1. 25 0.2







94 A 4 4 1. 23 0.174







95 A 6 6 1. 23 0.261







96 A 7 7 1. 25 0.28







97 A 8 8 1. 25 0.32







98 A 8 8 1. 25 0.32







99 A 7 7 1. 25 0.28







100 A 6 6 1. 16 0.375







101 A 4 4 1. 25 0.16







102 A 5 5 1. 25 0.2







103 A 6 6 1. 25 0.24







104 A 7 7 1. 25 0.28







105 A 6 6 1. 25 0.24







106 A 5 5 1. 23 0.217







107 A 7 7 1. 23 0.304







108 A 8 8 1. 25 0.32







109 A 9 9 1. 25 0.36







110 A 9 9 1. 25 0.36







111 A 8 8 1. 25 0.32







112 A 7 7 1. 16 0.438







113 A 5 5 1. 25 0.2







114 A 6 6 1. 25 0.24







115 A 7 7 1. 25 0.28







116 A 4 4 1. 25 0.16







117 A 3 3 1. 25 0.12







118 A 2 2 1. 23 0.087







119 A 3 3 1. 23 0.13







120 A 5 5 1. 25 0.2







121 A 6 6 1. 25 0.24







122 A 6 6 1. 25 0.24







123 A 5 5 1. 25 0.2







124 A 3 3 1. 16 0.188







125 A 2 2 1. 25 0.08







126 A 3 3 1. 25 0.12







127 A 4 4 1. 25 0.16







128 A 5 5 1. 25 0.2







129 A 4 4 1. 25 0.16







130 A 3 3 1. 23 0.13







131 A 4 4 1. 23 0.174







132 A 6 6 1. 25 0.24







133 A 7 6 1. 25 0.24







134 A 7 6 1. 25 0.24







135 A 6 6 1. 25 0.24







136 A 4 4 1. 16 0.25







137 A 3 3 1. 25 0.12







138 A 4 4 1. 25 0.16







139 A 5 5 1. 25 0.2







140 A 6 6 1. 25 0.24







141 A 5 5 1. 25 0.2







142 A 4 4 1. 23 0.174







143 A 6 6 1. 23 0.261







144 A 7 6 1. 25 0.24







145 A 8 6 1. 25 0.24







146 A 8 6 1. 25 0.24







147 A 7 6 1. 25 0.24







148 A 6 6 1. 16 0.375







149 A 4 4 1. 25 0.16







150 A 5 5 1. 25 0.2







151 A 6 6 1. 25 0.24







152 A 3 3 1. 23 0.13







153 A 3 3 1. 25 0.12







154 A 5 5 1. 23 0.217







155 A 4 4 1. 23 0.174







156 A 3 3 1. 21 0.143







157 A 3 3 1. 21 0.143







158 A 3 3 1. 23 0.13







159 A 3 3 1. 23 0.13







160 A 3 3 1. 14 0.214







161 A 3 3 1. 23 0.13







162 A 4 4 1. 23 0.174







163 A 5 5 0.98 23 0.217







164 A 3 3 1. 25 0.12







165 A 3 3 1. 23 0.13







166 A 3 3 1. 14 0.214







167 A 3 3 1. 23 0.13







168 A 4 3 1. 23 0.13







169 A 4 3 1. 23 0.13







170 A 3 3 1. 23 0.13







171 A 3 3 1. 21 0.143







172 A 3 3 1. 21 0.143







173 A 3 3 1. 23 0.13







174 A 0 0 0. 0 0.







175 A 3 3 1. 23 0.13







176 A 4 4 1. 25 0.16







177 A 3 3 1. 25 0.12







178 A 0 0 0. 0 0.







179 A 4 3 1. 14 0.214







180 A 4 3 1. 14 0.214







181 A 4 3 1. 14 0.214







182 A 4 4 1. 14 0.286







183 A 5 4 1. 14 0.286







184 A 6 4 1. 14 0.286







185 A 4 3 1. 21 0.143







186 A 3 3 1. 21 0.143







187 A 2 2 1. 19 0.105







188 A 3 2 1. 19 0.105







189 A 3 3 1. 21 0.143







190 A 4 4 1. 21 0.19







191 A 5 3 1. 21 0.143







192 A 4 3 1. 21 0.143







193 A 3 3 1. 21 0.143







194 A 3 2 1. 12 0.167







195 A 2 2 1. 21 0.095







196 A 4 4 1. 21 0.19







197 A 5 4 1. 21 0.19







198 A 4 3 1. 23 0.13







199 A 4 3 1. 23 0.13







200 A 4 3 1. 21 0.143







201 A 4 3 1. 21 0.143







202 A 4 3 1. 23 0.13







203 A 4 3 1. 23 0.13







204 A 4 3 1. 23 0.13







205 A 4 3 1. 23 0.13







206 A 4 3 1. 23 0.13







207 A 4 3 1. 14 0.214







208 A 4 3 1. 23 0.13







209 A 4 3 1. 23 0.13







210 A 4 3 1. 23 0.13







211 A 4 3 1. 23 0.13







212 A 4 3 1. 23 0.13







213 A 5 4 1. 21 0.19







214 A 4 3 1. 21 0.143







215 A 4 3 1. 23 0.13







216 A 4 3 1. 23 0.13







217 A 6 6 1. 23 0.261







218 A 5 5 1. 23 0.217







219 A 4 4 1. 23 0.174







220 A 3 3 1. 14 0.214







221 A 5 5 1. 23 0.217







222 A 6 6 1. 23 0.261







223 A 7 6 1. 23 0.261







224 A 4 3 1. 23 0.13







225 A 4 3 1. 23 0.13







226 A 4 3 1. 21 0.143







227 A 4 3 1. 21 0.143







228 A 4 3 1. 23 0.13







229 A 4 3 1. 23 0.13







230 A 6 6 1. 23 0.261







231 A 5 5 1. 23 0.217







232 A 5 5 1. 23 0.217







233 A 5 5 1. 14 0.357







234 A 6 6 1. 23 0.261







235 A 7 6 1. 23 0.261







236 A 8 6 1. 23 0.261







237 A 4 3 1. 23 0.13







238 A 4 3 1. 23 0.13







239 A 4 3 1. 21 0.143







240 A 4 3 1. 21 0.143







241 A 4 3 1. 23 0.13







242 A 4 3 1. 23 0.13







243 A 6 6 1. 23 0.261







244 A 6 6 1. 23 0.261







245 A 6 6 1. 23 0.261







246 A 6 6 1. 14 0.429







247 A 7 7 1. 23 0.304







248 A 8 7 1. 23 0.304







249 A 9 7 1. 23 0.304







250 A 4 3 1. 14 0.214







251 A 4 3 1. 14 0.214







252 A 4 3 1. 14 0.214







253 A 3 2 1. 12 0.167







254 A 3 3 1. 14 0.214







255 A 5 5 1. 14 0.357







256 A 6 6 1. 14 0.429







257 A 5 4 1. 17 0.235







258 A 4 3 1. 17 0.176







259 A 4 4 1. 17 0.235







260 A 3 3 1. 15 0.2







261 A 4 4 1. 15 0.267







262 A 4 4 1. 17 0.235







263 A 5 5 1. 17 0.294







264 A 4 3 1. 17 0.176







265 A 4 4 1. 16 0.25







266 A 4 3 1. 17 0.176







267 A 5 5 1. 17 0.294







268 A 3 3 1. 15 0.2







269 A 5 5 1. 15 0.333







270 A 5 5 1. 17 0.294







271 A 5 5 1. 16 0.312







272 A 6 5 1. 16 0.312







273 A 4 3 1. 17 0.176







274 A 5 5 1. 17 0.294







275 A 3 3 1. 15 0.2







276 A 5 5 1. 15 0.333







277 A 5 4 1. 17 0.235







278 A 4 3 1. 17 0.176







279 A 4 4 1. 17 0.235







280 A 3 3 1. 15 0.2







281 A 6 5 1. 15 0.333







282 A 5 4 1. 17 0.235







283 A 3 3 1. 16 0.188







284 A 4 4 1. 16 0.25







285 A 5 4 1. 16 0.25







286 A 6 4 1. 16 0.25







287 A 4 4 1. 10 0.4







288 A 3 3 1. 10 0.3







289 A 3 3 1. 10 0.3







290 A 5 5 1. 12 0.417







291 A 4 4 1. 12 0.333







292 A 3 3 1. 12 0.25







293 A 7 6 1. 25 0.24







294 A 6 6 1. 25 0.24







295 A 5 5 1. 23 0.217







296 A 7 5 1. 23 0.217







297 A 8 6 1. 25 0.24







298 A 9 7 1. 25 0.28







299 A 9 8 1. 25 0.32







300 A 8 8 1. 25 0.32







301 A 7 7 1. 25 0.28







302 A 6 6 1. 16 0.375







303 A 5 5 1. 25 0.2







304 A 6 6 1. 25 0.24







305 A 7 6 1. 25 0.24







306 A 8 6 1. 25 0.24







307 A 7 6 1. 25 0.24







308 A 6 5 1. 23 0.217







309 A 8 6 1. 23 0.261







310 A 8 6 1. 25 0.24







311 A 9 7 1. 25 0.28







312 A 10 8 1. 25 0.32







313 A 9 8 1. 25 0.32







314 A 8 8 1. 25 0.32







315 A 7 7 1. 16 0.438







316 A 7 7 1. 25 0.28







317 A 6 6 1. 25 0.24







318 A 7 6 1. 25 0.24







319 A 8 8 1. 16 0.5







320 A 6 5 1. 25 0.2







321 A 5 5 1. 25 0.2







322 A 4 4 1. 23 0.174







323 A 7 5 1. 23 0.217







324 A 8 6 1. 25 0.24







325 A 9 7 1. 25 0.28







326 A 8 8 1. 25 0.32







327 A 7 7 1. 25 0.28







328 A 6 6 1. 25 0.24







329 A 3 3 1. 16 0.188







330 A 5 5 1. 25 0.2







331 A 6 6 1. 25 0.24







332 A 7 6 1. 25 0.24







333 A 6 5 1. 25 0.2







334 A 5 5 1. 25 0.2







335 A 5 5 1. 23 0.217







336 A 8 6 1. 23 0.261







337 A 9 7 1. 25 0.28







338 A 10 8 1. 25 0.32







339 A 8 8 1. 25 0.32







340 A 7 7 1. 25 0.28







341 A 4 4 1. 25 0.16







342 A 4 4 1. 16 0.25







343 A 6 6 1. 25 0.24







344 A 7 6 1. 25 0.24







345 A 8 6 1. 25 0.24







346 A 6 5 1. 25 0.2







347 A 6 6 1. 25 0.24







348 A 6 5 1. 23 0.217







349 A 9 7 1. 23 0.304







350 A 10 7 1. 25 0.28







351 A 11 8 1. 25 0.32







352 A 8 8 1. 25 0.32







353 A 6 6 1. 25 0.24







354 A 6 6 1. 25 0.24







355 A 6 6 1. 16 0.375







356 A 7 7 1. 25 0.28







357 A 8 7 1. 25 0.28







358 A 9 7 1. 25 0.28







359 A 4 4 1. 23 0.174







360 A 3 3 1. 25 0.12







361 A 5 4 1. 23 0.174







362 A 4 4 1. 23 0.174







363 A 3 3 1. 21 0.143







364 A 5 5 1. 21 0.238







365 A 6 6 1. 23 0.261







366 A 7 7 1. 23 0.304







367 A 3 3 1. 23 0.13







368 A 3 3 1. 23 0.13







369 A 3 3 1. 23 0.13







370 A 3 3 1. 14 0.214







371 A 3 3 1. 23 0.13







372 A 3 3 1. 23 0.13







373 A 3 3 1. 23 0.13







374 A 6 5 1. 14 0.357







375 A 6 5 1. 14 0.357







376 A 6 5 1. 14 0.357







377 A 3 2 1. 12 0.167







378 A 14 12 1. 14 0.857







379 A 21 13 1. 14 0.929







380 A 7 6 1. 8 0.75







381 A 4 3 1. 14 0.214







382 A 4 3 1. 14 0.214







383 A 4 3 1. 14 0.214







384 A 4 2 1. 12 0.167







385 A 13 9 1. 14 0.643







386 A 23 10 1. 14 0.714







387 A 8 7 1. 16 0.438







388 A 4 4 1. 16 0.25







389 A 8 7 1. 17 0.412







390 A 8 7 1. 15 0.467







391 A 11 10 1. 15 0.667







392 A 12 9 1. 17 0.529







393 A 9 7 1. 17 0.412







394 A 9 8 1. 15 0.533







395 A 13 12 1. 15 0.8







396 A 7 6 1. 17 0.353







397 A 4 4 1. 15 0.267







398 A 9 8 1. 15 0.533







399 A 4 4 1. 17 0.235







400 A 6 6 1. 17 0.353







401 A 6 6 1. 15 0.4







402 A 12 11 1. 15 0.733







403 A 7 6 1. 17 0.353







404 A 7 7 1. 15 0.467







405 A 14 12 1. 15 0.8







406 A 9 5 1. 29 0.172







407 A 7 4 1. 27 0.148







408 A 14 7 1. 29 0.241







409 A 15 7 1. 29 0.241







410 A 4 4 1. 25 0.16







411 A 4 4 1. 23 0.174







412 A 3 3 1. 14 0.214







413 A 4 4 1. 23 0.174







414 A 4 4 1. 23 0.174







415 A 4 4 1. 23 0.174







416 A 4 4 1. 23 0.174







417 A 4 4 1. 21 0.19







418 A 4 4 1. 21 0.19







419 A 4 4 1. 23 0.174







420 A 0 0 0. 0 0.







421 A 4 4 1. 23 0.174







422 A 4 4 1. 25 0.16







423 A 4 4 1. 25 0.16







424 A 0 0 0. 0 0.







425 A 4 4 1. 21 0.19







426 A 3 3 1. 19 0.158







427 A 3 3 1. 19 0.158







428 A 2 1 1. 21 0.048







429 A 3 2 1. 21 0.095







430 A 3 2 1. 21 0.095







431 A 3 2 1. 21 0.095







432 A 3 2 1. 21 0.095







433 A 2 1 1. 21 0.048







434 A 3 3 1. 21 0.143







435 A 4 4 1. 21 0.19







436 A 5 4 1. 21 0.19







437 A 5 5 1. 23 0.217







438 A 4 4 1. 21 0.19







439 A 5 4 1. 21 0.19







440 A 4 3 1. 23 0.13







441 A 3 2 1. 23 0.087







442 A 3 2 1. 23 0.087







443 A 3 2 1. 23 0.087







444 A 3 2 1. 23 0.087







445 A 3 2 1. 23 0.087







446 A 3 2 1. 23 0.087







447 A 5 4 1. 23 0.174







448 A 4 4 1. 23 0.174







449 A 5 5 1. 23 0.217







450 A 5 5 1. 23 0.217







451 A 4 4 1. 23 0.174







452 A 2 2 1. 21 0.095







453 A 3 3 1. 21 0.143







454 A 4 3 1. 23 0.13







455 A 4 3 1. 23 0.13







456 A 4 3 1. 23 0.13







457 A 4 3 1. 23 0.13







458 A 3 3 1. 23 0.13







459 A 2 2 1. 23 0.087







460 A 5 5 1. 23 0.217







461 A 6 6 1. 23 0.261







462 A 6 6 1. 23 0.261







463 A 5 5 1. 23 0.217







464 A 3 3 1. 23 0.13







465 A 3 3 1. 21 0.143







466 A 5 4 1. 21 0.19







467 A 5 4 1. 23 0.174







468 A 5 4 1. 23 0.174







469 A 5 4 1. 23 0.174







470 A 3 3 1. 23 0.13







471 A 3 3 1. 23 0.13







472 A 6 6 1. 23 0.261







473 A 7 6 1. 23 0.261







474 A 2 2 1. 23 0.087







475 A 3 3 1. 25 0.12







476 A 2 2 1. 25 0.08







477 A 4 3 1. 23 0.13







478 A 4 3 1. 23 0.13







479 A 3 3 1. 23 0.13







480 A 3 3 1. 14 0.214







481 A 3 3 1. 23 0.13







482 A 2 2 1. 23 0.087







483 A 2 2 1. 21 0.095







484 A 2 2 1. 21 0.095







485 A 2 2 1. 23 0.087







486 A 0 0 0. 0 0.







487 A 0 0 0. 0 0.







488 A 0 0 0. 0 0.







489 A 0 0 0. 0 0.







490 A 0 0 0. 0 0.







491 A 9 6 1. 25 0.24







492 A 7 6 1. 25 0.24







493 A 3 3 1. 25 0.12







494 A 0 0 0. 0 0.







495 A 0 0 0. 0 0.







496 A 4 4 1. 23 0.174







497 A 4 4 1. 25 0.16







498 A 4 4 1. 25 0.16







499 A 0 0 0. 0 0.